TY - CONF T1 - Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs T2 - Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Y1 - 2014 A1 - David Carral A1 - Cristina Feier A1 - Ana Armas Romero A1 - Cuenca Grau, Bernardo A1 - Pascal Hitzler A1 - Ian Horrocks KW - description logics KW - OWL KW - Tractable Reasoning AB -

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.

JF - Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. UR - http://ceur-ws.org/Vol-1193/paper_75.pdf ER -