A Fine-Grained Approach to Resolving Unsatisfiable Ontologies

DOI10.1007/978-3-540-77688-8_3MaRDI QIDQ5445719zbMATH OpenOpenAlexFDO

Authors Joey Sik Chun Lam, Derek H. Sleeman, Jeff Z. Pan, Wamberto W. Vasconcelos

Publication date 6 March 2008

Published in Journal on Data Semantics X (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77688-8_3

zbMATH Keywords

Description Logics reasoningOntologies

Mathematics Subject Classification ID

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

Recommendations

• Reasoning with uncertain and inconsistent OWL ontologies
• Completeness guarantees for incomplete ontology reasoners: theory and practice

Cites work

• A theory of diagnosis from first principles
• Attributive concept descriptions with complements
• Cardinality restrictions on concepts
• scientific article; zbMATH DE number 1149405 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Reasoning and revision in hybrid representation systems

Cited in

(8)

• OntoDebug: interactive ontology debugging plug-in for Protégé
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
• Effective method for detecting error causes from incoherent biological ontologies
• Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
• Forgetting for knowledge bases in DL-lite
• On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
• Measuring and repairing inconsistency in probabilistic knowledge bases
• Optimal repairs in the description logic \(\mathcal{EL}\) revisited

This page was built for publication: A Fine-Grained Approach to Resolving Unsatisfiable Ontologies

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