%0 Conference Paper %B Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. %D 2014 %T Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs %A David Carral %A Cristina Feier %A Ana Armas Romero %A Cuenca Grau, Bernardo %A Pascal Hitzler %A Ian Horrocks %K description logics %K OWL %K Tractable Reasoning %X

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.

%B Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. %P 128–140 %G eng %U http://ceur-ws.org/Vol-1193/paper_75.pdf