Debugging Incoherent Terminologies

In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new nonstandard reasoning services to explain incoherence through pinpointing, and we present algorithms for all of these services. For one of the core tasks of debugging, the calculation of minimal unsatisfiability preserving subterminologies, we developed two different algorithms, one implementing a bottom-up approach using support of an external description logic reasoner, the other implementing a specialized tableau-based calculus. Both algorithms have been prototypically implemented. We study the effectiveness of our algorithms in two ways: we present a realistic case study where we diagnose a terminology used in a practical application, and we perform controlled benchmark experiments to get a better understanding of the computational properties of our algorithms in particular and the debugging problem in general.

• Publication year

  2007

• Venue

  Journal of automated reasoning

• Publication date

  2007-10-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/s10817-007-9076-z
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Finding All Justifications of OWL DL Entailments

  2007cited by this paper
• Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments

  2006cited by this paper
• Finding Maximally Satisfiable Terminologies for the Description Logic ALC

  2006influential reference
• Inconsistent Ontology Diagnosis: Evaluation

  2006cited by this paper
• Debugging and Repair of OWL Ontologies

  2006influential reference
• Reasoning with Inconsistent Ontologies: Evaluation

  2006cited by this paper
• Debugging and Semantic Clarification by Pinpointing

  2005influential reference
• Reasoning with Inconsistent Ontologies

  2005cited by this paper
• Diagnosing Terminologies

  2005influential reference
• Debugging unsatisfiable classes in OWL ontologies

  2005cited by this paper
• Knowledge Integration for Description Logics

  2005cited by this paper
• A General Diagnosis Method for Ontologies

  2005influential reference
• Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies

  2003influential reference
• Finding all minimal unsatisfiable subsets

  2003cited by this paper
• The Description Logic Handbook: Theory, Implementation, and Applications

  2003influential reference
• Local Change

  2002influential reference
• A Textbook of Belief Dynamics: Solutions to Exercises

  2001cited by this paper
• Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison

  2000cited by this paper
• A Textbook Of Belief Dynamics

  1999cited by this paper
• Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining

  1999cited by this paper
• DL Systems Comparison

  1998cited by this paper
• Embedding defaults into terminological knowledge representation formalisms

  1995influential reference
• Terminological Reasoning is Inherently Intractable

  1990cited by this paper
• A Correction to the Algorithm in Reiter's Theory of Diagnosis

  1989cited by this paper
• A Theory of Diagnosis from First Principles

  1986influential reference
• The Problem of Simplifying Truth Functions

  1952cited by this paper

• Gärdenfors's Supplementary Postulates for Partial Product Contractions

  2025cites this paper
• On prime scenarios in qualitative spatial and temporal reasoning

  2024cites this paper
• Eliminating ontology contradictions based on the Myerson value

  2024cites this paper
• Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies

  2024cites this paper
• Contractions Based on Optimal Repairs

  2024cites this paper
• Sequential model-based diagnosis by systematic search

  2023cites this paper
• Optimal Repairs in the Description Logic Eℒ Revisited

  2023cites this paper
• Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change

  2023cites this paper
• Relating Optimal Repairs in Ontology Engineering with Contraction Operations in Belief Change

  2023cites this paper
• Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity

  2023cites this paper
• Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract)

  2023cites this paper
• Prime Scenarios in Qualitative Spatial and Temporal Reasoning

  2023cites this paper
• Organizing Institutions

  2022cites this paper
• Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)

  2022cites this paper
• Effective method for detecting error causes from incoherent biological ontologies.

  2022cites this paper
• A formal proof and simple explanation of the QuickXplain algorithm

  2022cites this paper
• One step at a time: An efficient approach to query-based ontology debugging

  2022cites this paper
• Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes

  2022cites this paper
• Error-Tolerant Reasoning in the Description Logic Eℒ Based on Optimal Repairs

  2022cites this paper
• Optimal Fixed-Premise Repairs of EL TBoxes (Extended Version)

  2022cites this paper
• Repairing EL Ontologies Using Weakening and Completing

  2022cites this paper
• Benchmark construction and experimental evaluations for incoherent ontologies

  2022cites this paper
• Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes

  2022cites this paper
• Uncertainty Analysis in Ontology-Based Knowledge Representation

  2022cites this paper
• Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs

  2022cites this paper
• An Application to Semantic Networks

  2021cites this paper
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes

  2021cites this paper
• Debugging Classical Ontologies Using Defeasible Reasoning Tools

  2021cites this paper
• Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox

  2021cites this paper
• Debugging incoherent ontology by extracting a clash module and identifying root unsatisfiable concepts

  2021cites this paper
• Reasoning in Description Logic Ontologies for Privacy Management

  2020cites this paper
• Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

  2020cites this paper
• Memory-Limited Model-Based Diagnosis

  2020cites this paper
• Heuristic Based on Dynamic Weighting to Support Diagnosis with Two Minimization Focus in Alignment Incoherence Repair

  2020cites this paper
• Understanding the QuickXPlain Algorithm: Simple Explanation and Formal Proof

  2020cites this paper
• Memory-limited model-based diagnosis

  2020cites this paper
• On Expert Behaviors and Question Types for Efficient Query-Based Ontology Fault Localization

  2020cites this paper
• Extracting a justification for OWL ontologies by critical axioms

  2020cites this paper
• DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis

  2020cites this paper
• On expansion and contraction of DL-Lite knowledge bases

  2019cites this paper
• Model-Based Diagnosis with Multiple Observations

  2019cites this paper
• On Computing the Union of MUSes

  2019cites this paper
• A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet

  2019cites this paper
• Debugging classical ontologies using defeasible reasoning tools ( extended abstract )

  2019cites this paper
• Exploring duality on ontology debugging

  2019cites this paper
• Completing and Debugging Ontologies: State-of-the-art and Challenges in Repairing Ontologies

  2019cites this paper
• Strong inconsistency

  2019cites this paper
• Probably Approximately Correct Completion of Description Logic Knowledge Bases

  2019cites this paper
• Ontology Alignment Repair Through 0-1 Programming

  2019cites this paper
• Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers?

  2019cites this paper
• Strong Explanations for Nonmonotonic Reasoning

  2019cites this paper
• Repairing Description Logic Ontologies by Weakening Axioms

  2018cites this paper
• A dependency-graph based approach for finding justification in OWL 2 EL

  2018cites this paper
• Formal Ontology Learning from English IS-A Sentences

  2018cites this paper
• Detecting hidden errors in an ontology using contextual knowledge

  2018influential citation
• A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models

  2018cites this paper
• Eliminating Temporal Conflicts in Uncertain Temporal Knowledge Graphs

  2018cites this paper
• On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging

  2018cites this paper
• Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. (Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique)

  2018cites this paper
• Constructive Justification Extraction for OWL Ontologies

  2018cites this paper
• Making Repairs in Description Logics More Gentle (Extended Abstract)

  2018cites this paper
• Scalable integration of uncertainty reasoning and semantic web technologies

  2018cites this paper
• Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach

  2018influential citation
• OntoDebug: Interactive Ontology Debugging Plug-in for Protégé

  2018cites this paper
• A Generally Applicable, Highly Scalable Measurement Computation and Optimization Approach to Sequential Model-Based Diagnosis

  2017cites this paper
• Inconsistency-Tolerant Instance Checking in Tractable Description Logics

  2017cites this paper
• Reasoning for Semantic Error Detection in Text

  2017cites this paper
• Online Reasoning for Semantic Error Detection in Text

  2017cites this paper
• Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths

  2017influential citation
• TeCoRe: Temporal Conflict Resolution in Knowledge Graphs

  2017cites this paper
• An Algorithm for Computing All Minimal Inconsistent Subsets in Description Logic

  2017cites this paper
• Automatic White-Box Testing of First-Order Logic Ontologies

  2017cites this paper
• An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments

  2017cites this paper
• Understanding the complexity of axiom pinpointing in lightweight description logics

  2017cites this paper
• Interactive Debugging of Knowledge Bases

  2016cites this paper
• A Model for Learning Description Logic Ontologies Based on Exact Learning

  2016cites this paper
• A generalized abstract argumentation framework for inconsistency-tolerant ontology reasoning

  2016cites this paper
• A Hybrid Approach for Ontology-based Information Extraction

  2016influential citation
• Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging

  2016influential citation
• Datalog+- Ontology Consolidation

  2016cites this paper
• A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics

  2016influential citation
• Uncertain Temporal Knowledge Graphs

  2016cites this paper
• Graph-based approaches to debugging and revision of terminologies in DL-Lite

  2016cites this paper
• The role of unsatisfiable Boolean constraints in lightweight description logics

  2016cites this paper
• Proceedings of the Automated Reasoning Workshop 2015 Bridging the Gap between Theory and Practice

  2015cites this paper
• AuRUS: explaining the validation of UML/OCL conceptual schemas

  2015cites this paper
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics

  2015cites this paper
• Minimal model reasoning for modal logic

  2015cites this paper
• Prime Compilation of Non-Clausal Formulae

  2015cites this paper
• Towards Efficient Axiom Pinpointing of EL+ Ontologies

  2015cites this paper
• Iterative Ontology Update with Minimum Change

  2015cites this paper
• Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing

  2015cites this paper
• Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies

  2015cites this paper
• Debugging of ALC-Ontologies via Minimal Model Generation

  2015cites this paper
• Subterfuge-safe trust management for delegation of permissions in open environments

  2015cites this paper
• DL-Lite Ontology Revision Based on An Alternative Semantic Characterization

  2015cites this paper
• Efficient Axiom Pinpointing with EL2MCS

  2015cites this paper
• Ontology Repair Through Partial Meet Contraction

  2015cites this paper
• An Automatic Way of Generating Incoherent Terminologies with Parameters

  2015cites this paper
• Relaxation-based revision operators in description logics

  2015cites this paper