Debugging incoherent terminologies

DOI10.1007/s10817-007-9076-zzbMath1132.68740OpenAlexW2081966954WikidataQ56840192 ScholiaQ56840192MaRDI QIDQ2462643

Stefan Schlobach, Frank van Harmelen, Zhisheng Huang, Ronald Cornet

Publication date: 3 December 2007

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-007-9076-z

zbMATH Keywords

Description logicsDiagnosisDebugging

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (17)

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ Memory-limited model-based diagnosis ⋮ Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing ⋮ Understanding the complexity of axiom pinpointing in lightweight description logics ⋮ Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes ⋮ Sequential model-based diagnosis by systematic search ⋮ On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging ⋮ Effective method for detecting error causes from incoherent biological ontologies ⋮ ABox abduction in the description logic \(\mathcal{ALC}\) ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ Incremental classification of description logics ontologies ⋮ Automata-based axiom pinpointing ⋮ Unnamed Item ⋮ Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes ⋮ A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$ ⋮ Strong inconsistency ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

Cites Work

• Unnamed Item
• Unnamed Item
• A theory of diagnosis from first principles
• A correction to the algorithm in Reiter's theory of diagnosis
• Local change
• A textbook of belief dynamics. Theory change and database updating
• Terminological reasoning is inherently intractable
• The Problem of Simplifying Truth Functions

This page was built for publication: Debugging incoherent terminologies