ABSTRACT
It has been shown, both theoretically and empirically, that reasoning about large and expressive ontologies is computationally hard. Moreover, due to the different reasoning algorithms and optimisation techniques employed, each reasoner may be efficient for ontologies with different characteristics. Based on recently-developed prediction models for various reasoners for reasoning performance, we present our work in developing a meta-reasoner that automatically selects from a number of state-of-the-art OWL reasoners to achieve optimal efficiency. Our preliminary evaluation shows that the meta-reasoner significantly and consistently outperforms 6 state-of-the-art reasoners and it achieves a performance close to the hypothetical gold standard reasoner.
- P. Cudré-Mauroux, et al, editors. The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I, volume 7649 of Lecture Notes in Computer Science. Springer, 2012.Google Scholar
- B. Cuenca Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler. OWL 2: The next step for OWL. Journal of Web Semantics, 6:309--322, November 2008. Google ScholarDigital Library
- K. Dentler, R. Cornet, A. ten Teije, and N. de Keizer. Comparison of reasoners for large ontologies in the OWL 2 EL profile. Semantic Web Journal, 2(2):71--87, 2011. Google ScholarDigital Library
- J. Frnkranz and E. Hllermeier. Preference Learning. Springer-Verlag New York, Inc., New York, NY, USA, 1st edition, 2010. Google ScholarDigital Library
- R. S. Gonçalves, N. Matentzoglu, B. Parsia, and U. Sattler. The empirical robustness of description logic classification. In T. Eiter, B. Glimm, Y. Kazakov, and M. Krötzsch, editors, Description Logics, volume 1014 of CEUR Workshop Proceedings, pages 197--208. CEUR-WS.org, 2013.Google Scholar
- R. S. Gonçalves, B. Parsia, and U. Sattler. Performance heterogeneity and approximate reasoning in description logic ontologies. In Cudré-Mauroux et al. {1}, pages 82--98. Google ScholarDigital Library
- T. Hastie, R. Tibshirani, and J. Friedman. The elements of statistical learning: data mining, inference and prediction. Springer, 2 edition, 2009.Google Scholar
- I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics, 1(1):7--26, 2003.Google ScholarCross Ref
- Y.-B. Kang, Y.-F. Li, and S. Krishnaswamy. Predicting reasoning performance using ontology metrics. In Cudré-Mauroux et al. {1}, pages 198--214. Google ScholarDigital Library
- F. Sebastiani. Machine learning in automated text categorization. ACM Comput. Surv., 34(1):1--47, Mar. 2002. Google ScholarDigital Library
- Q. Sun and B. Pfahringer. Pairwise meta-rules for better meta-learning-based algorithm ranking. Machine Learning, 93(1):141--161, 2013. Google ScholarDigital Library
- L. Xu, F. Hutter, H. H. Hoos, and K. Leyton-Brown. Satzilla: Portfolio-based algorithm selection for SAT. J. Artif. Int. Res., 32(1):565--606, June 2008. Google ScholarDigital Library
Index Terms
A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency
Recommendations
TGR: Neural-symbolic ontological reasoner for domain-specific knowledge graphs
AbstractOntological reasoning has great prospects in applications based on domain-specific knowledge graphs (KG). However, it is difficult for existing logic reasoners to quickly perform inference over large-scale assertional boxes (ABoxes) in domain-...
A Rule-Based Object-Oriented OWL Reasoner
In this paper we describe O-DEVICE, a memory-based knowledge base system for reasoning and querying OWL ontologies by implementing RDF/OWL entailments in the form of production rules in order to apply the formal semantics of the language. Our approach ...
Predicting Reasoner Performance on ABox Intensive OWL 2 EL Ontologies
In this article, the authors introduce the notion of ABox intensity in the context of predicting reasoner performance to improve the representativeness of ontology metrics, and they develop new metrics that focus on ABox features of OWL 2 EL ontologies. ...
Comments