A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Compiled hierarchical retrieval
Conceptual structures
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The foundational model of anatomy in OWL: Experience and perspectives
Web Semantics: Science, Services and Agents on the World Wide Web
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
Journal of Automated Reasoning
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Ordering heuristics for description logic reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Exploiting Partial Information in Taxonomy Construction
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
Optimising ontology classification
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Framework for an automated comparison of description logic reasoners
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Optimized description logic reasoning via core blocking
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
MORe: modular combination of OWL reasoners for ontology classification
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Cost based query ordering over OWL ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
From OWL to DL−Lite through efficient ontology approximation
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Ontology driven decision support for the diagnosis of mild cognitive impairment
Computer Methods and Programs in Biomedicine
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence
Optimizing SPARQL query answering over OWL ontologies
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Ontology classification-the computation of the subsumption hierarchies for classes and properties-is a core reasoning service provided by all OWL reasoners known to us. A popular algorithm for computing the class hierarchy is the so-called Enhanced Traversal (ET) algorithm. In this paper, we present a new classification algorithm that attempts to address certain shortcomings of ET and improve its performance. Apart from classification of classes, we also consider object and data property classification. Using several simple examples, we show that the algorithms commonly used to implement these tasks are incomplete even for relatively weak ontology languages. Furthermore, we show that property classification can be reduced to class classification, which allows us to classify properties using our optimised algorithm. We implemented all our algorithms in the OWL reasoner HermiT. The results of our performance evaluation show significant performance improvements on several well-known ontologies.