skip to main content
10.1145/2661829.2662079acmconferencesArticle/Chapter ViewAbstractPublication PagescikmConference Proceedingsconference-collections
poster

A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency

Published:03 November 2014Publication History

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.

References

  1. 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 ScholarGoogle Scholar
  2. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. J. Frnkranz and E. Hllermeier. Preference Learning. Springer-Verlag New York, Inc., New York, NY, USA, 1st edition, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle Scholar
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. T. Hastie, R. Tibshirani, and J. Friedman. The elements of statistical learning: data mining, inference and prediction. Springer, 2 edition, 2009.Google ScholarGoogle Scholar
  8. 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 ScholarGoogle ScholarCross RefCross Ref
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. F. Sebastiani. Machine learning in automated text categorization. ACM Comput. Surv., 34(1):1--47, Mar. 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Q. Sun and B. Pfahringer. Pairwise meta-rules for better meta-learning-based algorithm ranking. Machine Learning, 93(1):141--161, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        CIKM '14: Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management
        November 2014
        2152 pages
        ISBN:9781450325981
        DOI:10.1145/2661829

        Copyright © 2014 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 3 November 2014

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • poster

        Acceptance Rates

        CIKM '14 Paper Acceptance Rate175of838submissions,21%Overall Acceptance Rate1,861of8,427submissions,22%

        Upcoming Conference

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader