Debugging incoherent terminologies

DOI10.1007/S10817-007-9076-ZMaRDI QIDQ2462643zbMATH OpenOpenAlexDBLPWikidataFDO

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

Publication date 3 December 2007

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

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

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

zbMATH Keywords

Description logicsDiagnosisDebugging

Mathematics Subject Classification ID

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

Recommendations

• OntoDebug: interactive ontology debugging plug-in for Protégé
• On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
• A theory of diagnosis from first principles
• Base Revision for Ontology Debugging
• Reasoning with concept diagrams about antipatterns in ontologies

Cites work

• scientific article; zbMATH DE number 1612538 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• A correction to the algorithm in Reiter's theory of diagnosis
• A textbook of belief dynamics. Theory change and database updating
• A theory of diagnosis from first principles
• Local change
• Terminological reasoning is inherently intractable
• The Problem of Simplifying Truth Functions

Cited in

(22)

• Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
• Incremental classification of description logics ontologies
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• Compact solution representation in qualitative constraint-based reasoning
• Sequential model-based diagnosis by systematic search
• Memory-limited model-based diagnosis
• ABox abduction in the description logic \(\mathcal{ALC}\)
• Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
• Exact learning of lightweight description logic ontologies
• Reasoning with concept diagrams about antipatterns in ontologies
• On prime scenarios in qualitative spatial and temporal reasoning
• Automata-based axiom pinpointing
• Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies
• On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
• Understanding the complexity of axiom pinpointing in lightweight description logics
• DL-Lite ontology revision based on an alternative semantic characterization
• Effective method for detecting error causes from incoherent biological ontologies
• A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
• Optimal repairs in the description logic \(\mathcal{EL}\) revisited
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• Strong inconsistency

This page was built for publication: Debugging incoherent terminologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2462643)