The Description Logic Handbook
The Description Logic Handbook
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Hybrid reasoning for ontology classification
Canadian AI'11 Proceedings of the 24th Canadian conference on Advances in artificial intelligence
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Using SPARQL with RDFS and OWL entailment
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Inline evaluation of hybrid knowledge bases PhD description
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Concurrent classification of EL ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes
Journal of Automated Reasoning
Using sums-of-products for non-standard reasoning
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Tractable extensions of the description logic EL with numerical datatypes
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Optimized description logic reasoning via core blocking
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Towards the automated calculation of clinical quality indicators
KR4HC'11 Proceedings of the 3rd international conference on Knowledge Representation for Health-Care
Uniform evaluation of nonmonotonic DL-Programs
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Consequence-based reasoning beyond horn ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Semantic Web
Logical difference computation with CEX2.5
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
The logical difference for the lightweight description logic EL
Journal of Artificial Intelligence Research
Complexities of Horn Description Logics
ACM Transactions on Computational Logic (TOCL)
Very large scale OWL reasoning through distributed computation
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Towards efficient and practical solutions for ontology-based data management
Proceedings of the Joint EDBT/ICDT 2013 Workshops
First-order rewritability of atomic queries in horn description logics
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence
Hi-index | 0.00 |
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reasoning procedures for ontologies, our procedure does not build models or model representations, but works by deriving new consequent axioms. The procedure is closely related to the so-called completion-based procedure for EL++ ontologies, and can be regarded as an extension thereof. In fact, our procedure is theoretically optimal for Horn SHIQ ontologies as well as for the common fragment of EL++ and SHIQ. A preliminary empirical evaluation of our procedure on large medical ontologies demonstrates a dramatic improvement over existing ontology reasoners. Specifically, our implementation allows the classification of the largest available OWL version of Galen. To the best of our knowledge no other reasoner is able to classify this ontology.