TY - CONF T1 - EL-ifying Ontologies T2 - Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings Y1 - 2014 A1 - David Carral A1 - Cristina Feier A1 - Cuenca Grau, Bernardo A1 - Pascal Hitzler A1 - Ian Horrocks KW - description logics KW - OWL KW - Rewriting KW - Tractable Reasoning AB -

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.

JF - Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings UR - http://dx.doi.org/10.1007/978-3-319-08587-6_36 ER -