Is your Ontology as Hard as you Think? Rewriting Ontologies into Simpler DLs

Authors

David Carral
Cristina Feier
Ana Armas Romero
Bernardo Cuenca-Grau
Pascal HitzlerFollow
Ian Horrocks

Document Type

Conference Proceeding

Publication Date

7-2014

Abstract

We investigate cases where an ontology expressed in a seemingly hard DL can be polynomially reduced to one in a simpler logic, while preserving reasoning outcomes for classification and fact entailment. Our transformations target the elimination of inverse roles, universal and existential restrictions, and in the best case allow us to rewrite the given ontology into one of the OWL 2 profiles. Even if an ontology cannot be fully rewritten into a profile, in many cases our transformations allow us to exploit further optimisation techniques. Moreover, the elimination of some out-of-profile axioms can improve the performance of modular reasoners, such as MORe. We have tested our techniques on both classification and data reasoning tasks with encouraging results.

Comments

Presented at the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.

Repository Citation

Carral, D., Feier, C., Romero, A. A., Cuenca-Grau, B., Hitzler, P., & Horrocks, I. (2014). Is your Ontology as Hard as you Think? Rewriting Ontologies into Simpler DLs. CEUR Workshop Proceedings, 1193.
https://corescholar.libraries.wright.edu/cse/209