Document Type

Conference Proceeding

Publication Date

7-2014

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.

Comments

Attached is the unpublished, peer-reviewed version of the proceeding. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-08587-6_36.

Presented at the 7th International Joint Conference on Automated Reasoning, Vienna, Austria, July 19-22, 2014.

DOI

10.1007/978-3-319-08587-6_36

Download


Share

COinS