\(\mathcal{EL}\)-ifying Ontologies

  • David Carral
  • Cristina Feier
  • Bernardo Cuenca Grau
  • Pascal Hitzler
  • Ian Horrocks
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8562)

Abstract

The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoning tasks are feasible in polynomial time. Many OWL ontologies, however, contain a typically small number of out-of-profile axioms, which may have little or no influence on reasoning outcomes. We investigate techniques for rewriting axioms into the EL and RL profiles of OWL 2. We have tested our techniques on both classification and data reasoning tasks with encouraging results.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Armas Romero, A., Cuenca Grau, B., Horrocks, I.: MORe: modular combination of OWL reasoners for ontology classification. In: Cudré-Mauroux, P., et al. (eds.) ISWC 2012, Part I. LNCS, vol. 7649, pp. 1–16. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  2. 2.
    Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL — A polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 287–291. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Bail, S., Glimm, B., Gonçalves, R.S., Jiménez-Ruiz, E., Kazakov, Y., Matentzoglu, N., Parsia, B. (eds.): ORE. CEUR, vol. 1015 (2013)Google Scholar
  4. 4.
    Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: OWLim: A family of scalable semantic repositories. Semantic Web J. 2(1), 33–42 (2011)Google Scholar
  5. 5.
    Calvanese, D., De Giacomo, G., Rosati, R.: A note on encoding inverse roles and functional restrictions in \(\mathcal{ALC}\) knowledge bases. In: Proceedings of the 1998 Description Logic Workshop (DL 1998), pp. 69–71. CEUR (1998)Google Scholar
  6. 6.
    Ding, Y.: Tableau-based Reasoning for Description Logics with Inverse Roles and Number Restrictions. Ph.D. thesis, Concordia University, Canada (2008)Google Scholar
  7. 7.
    Ding, Y., Haarslev, V., Wu, J.: A new mapping from \(\mathcal{ALCI}\) to \(\mathcal{ALC}\). In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Turhan, A., Tessaris, S. (eds.) DL 2007. CEUR Workshop Proceedings, vol. 250 (2007)Google Scholar
  8. 8.
    Gonçalves, R.S., Matentzoglu, N., Parsia, B., Sattler, U.: The empirical robustness of Description Logic classification. In: DL, pp. 197–208 (2013)Google Scholar
  9. 9.
    Haarslev, V., Hidde, K., Möller, R., Wessel, M.: The racerpro knowledge representation and reasoning system. Semantic Web J. 3(3), 267–277 (2012)Google Scholar
  10. 10.
    Horrocks, I., Sattler, U.: A tableau decision procedure for \(\mathcal{SHOIQ}\). J. of Automated Reasoning 39(3), 249–276 (2007)CrossRefMATHMathSciNetGoogle Scholar
  11. 11.
    Kazakov, Y., Krötzsch, M., Simančík, F.: Concurrent classification of EL ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 305–320. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  12. 12.
    Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The Combined Approach to Ontology-Based Data Access. In: IJCAI, pp. 2656–2661 (2011)Google Scholar
  13. 13.
    Lutz, C., Piro, R., Wolter, F.: Description logic tboxes: Model-theoretic characterizations and rewritability. In: IJCAI, pp. 983–988 (2011)Google Scholar
  14. 14.
    Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-profiles/
  15. 15.
    Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artificial Intelligence Research (JAIR) 36(1), 165–228 (2009)MATHMathSciNetGoogle Scholar
  16. 16.
    Motik, B., Horrocks, I.: Individual reuse in description logic reasoning. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 242–258. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  17. 17.
    Ren, Y., Pan, J.Z., Zhao, Y.: Soundness preserving approximation for TBox reasoning. In: AAAI (2010)Google Scholar
  18. 18.
    Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Semantics (JWS) 5(2), 51–53 (2007)CrossRefGoogle Scholar
  19. 19.
    Song, W., Spencer, B., Du, W.: A transformation approach for classifying \(\mathcal{ALCHI(D)}\) ontologies with a consequence-based \(\mathcal{ALCH}\) reasoner. In: ORE. CEUR, vol. 1015, pp. 39–45 (2013)Google Scholar
  20. 20.
    Stefanoni, G., Motik, B., Horrocks, I.: Introducing Nominals to the Combined Query Answering Approaches for EL. In: AAAI (2013)Google Scholar
  21. 21.
    Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  22. 22.
    Wu, Z., Eadon, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing an inference engine for RDFS/OWL constructs and user-defined rules in Oracle. In: ICDE, pp. 1239–1248 (2008)Google Scholar
  23. 23.
    Zhou, Y., Cuenca Grau, B., Horrocks, I., Wu, Z., Banerjee, J.: Making the most of your triple store: query answering in OWL 2 using an RL reasoner. In: WWW (2013)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • David Carral
    • 1
  • Cristina Feier
    • 2
  • Bernardo Cuenca Grau
    • 2
  • Pascal Hitzler
    • 1
  • Ian Horrocks
    • 2
  1. 1.Department of Computer ScienceWright State UniversityDaytonUS
  2. 2.Department of Computer ScienceUniversity of OxfordOxfordUK

Personalised recommendations