期刊
JOURNAL OF WEB SEMANTICS
卷 14, 期 -, 页码 84-101出版社
ELSEVIER
DOI: 10.1016/j.websem.2011.12.007
关键词
Ontologies; OWL; Class classification; Property classification; Optimisations
类别
资金
- EPSRC project HermiT: Reasoning with Large Ontologies
- Ministry of Education and Research (Bundesministerium fuer Bildung und Forschung)
- Ministry of Science, Research and the Arts Baden-Wuerttemberg (Ministerium fur Wissenschaft, Forschung und Kunst Baden-Wurttemberg)
- Engineering and Physical Sciences Research Council [EP/F065841/1] Funding Source: researchfish
- EPSRC [EP/F065841/1] Funding Source: UKRI
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. (C) 2012 Elsevier B. V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据