The Description Logic Handbook
The Description Logic Handbook
Deciding expressive description logics in the framework of resolution
Information and Computation
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Web Semantics: Science, Services and Agents on the World Wide Web
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Consequence-driven reasoning for horn SHIQ ontologies
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
LogMap: logic-based and scalable ontology matching
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Concurrent classification of EL ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Complexities of Horn Description Logics
ACM Transactions on Computational Logic (TOCL)
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence
Hi-index | 0.00 |
Consequence-based ontology reasoning procedures have so far been known only for Horn ontology languages. A difficulty in extending such procedures is that non-Horn axioms seem to require reasoning by case, which causes non-determinism in tableau-based procedures. In this paper we present a consequence-based procedure for ALCH that overcomes this difficulty by using rules similar to ordered resolution to deal with disjunctive axioms in a deterministic way; it retains all the favourable attributes of existing consequence-based procedures, such as goal-directed "one pass" classification, optimal worst-case complexity, and "pay-as-you-go" behaviour. Our preliminary empirical evaluation suggests that the procedure scales well to non-Horn ontologies.