Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Attributive concept descriptions with complements
Artificial Intelligence
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
A Tableau for Multimodal Logics and Some (Un)Decidability Results
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
IEEE Intelligent Systems
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Extending an ontology-based search with a formalism for spatial reasoning
Proceedings of the 2008 ACM symposium on Applied computing
Improving an RCC-Derived Geospatial Approximation by OWL Axioms
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Mereological semantics for bio-ontologies
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Part-whole representation and reasoning in formal biomedical ontologies
Artificial Intelligence in Medicine
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Conjunctive queries for a tractable fragment of OWL 1.1
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Reasoning support for expressive ontology languages using a theorem prover
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Multidimensional integrated ontologies: a framework for designing semantic data warehouses
Journal on Data Semantics XIII
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form Ro S ⊆ P. We show that this extension is undecidable even when RIAs are restricted to the forms RoS ⊆ R or SoR ⊆ R,k but that decidability can be regained by further restricting RIAs to be acyclic. We present a tableau algorithm for this DL and report on its implementation, which behaves well in practise and provides important additional functionality in a medical terminology application.