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
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
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
A Rational Design for a Weighted Finite-State Transducer Library
WIA '97 Revised Papers from the Second International Workshop on Implementing Automata
The Complexity of the Graded µ-Calculus
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
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
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Decidability of SHIQ with complex role inclusion axioms
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Semantic web: the story so far
W4A '07 Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A)
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
Computational Logic in Multi-Agent Systems
A Segmentation-Based Approach for Approximate Query over Distributed Ontologies
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Web Ontology Segmentation: Extraction, Transformation, Evaluation
Modular Ontologies
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Fundamenta Informaticae
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Monitoring conformance to the internal regulation of an MSc course using ontologies and rules
EGOVIS'11 Proceedings of the Second international conference on Electronic government and the information systems perspective
ShareAlike your data: self-referential usage policies for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
A tableau calculus with automaton-labelled formulae for regular grammar logics
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Representing transitive propagation in OWL
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
An extension of complex role inclusion axioms in the description logic SROIQ
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Validating the semantics of a medical iconic language using ontological reasoning
Journal of Biomedical Informatics
A decidable extension of SROIQ with complex role chains and unions
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Motivated by medical terminology applications, we investigate the decidability of an expressive and prominent description logic (DL), SHIQ, extended with role inclusion axioms of the form R@?S@?@?T. It is well known that a naive such extension leads to undecidability, and thus we restrict our attention to axioms of the form R@?S@?@?R or S@?R@?@?R, which is the most important form of axioms in the applications that motivated this extension. Surprisingly, this extension is still undecidable. However, it turns out that by restricting our attention further to acyclic sets of such axioms, we regain decidability. We present a tableau-based decision procedure for this DL and report on its implementation, which promises to behave well in practice and provides important additional functionality in a medical terminology application.