A Fine-Grained Approach to Resolving Unsatisfiable Ontologies

DOI10.1007/978-3-540-77688-8_3zbMath1132.68060OpenAlexW1532959892MaRDI QIDQ5445719

Joey Sik Chun Lam, Jeff Z. Pan, Derek H. Sleeman, 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

OntologiesDescription Logics reasoning

Mathematics Subject Classification ID

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

Related Items

Forgetting for knowledge bases in DL-lite, Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes, Effective method for detecting error causes from incoherent biological ontologies, Measuring and repairing inconsistency in probabilistic knowledge bases, Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes

Cites Work

• Attributive concept descriptions with complements
• A theory of diagnosis from first principles
• Reasoning and revision in hybrid representation systems
• Cardinality restrictions on concepts
• Unnamed Item
• Unnamed Item