Journal article icon

Journal article

EL-ifying ontologies

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.

Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-08587-6_36

Authors


David Carral More by this author
More by this author
Institution:
University of Oxford
Research group:
Knowledge Representation and Reasoning
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Research group:
Knowledge Representation and Reasoning
Oxford college:
Oriel College
Department:
Oxford, MPLS, Computer Science
Pascal Hitzler More by this author
More by this author
Institution:
University of Oxford
Research group:
Knowledge Representation and Reasoning
Oxford college:
Oriel College
Department:
Oxford, MPLS, Computer Science
Journal:
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 Journal website
Pages:
464-479
Publication date:
2014
DOI:
EISBN:
978-3-319-08587-6
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:044e09b3-e8e1-4dc2-a6ef-d19ae1aebc54
Local pid:
ora:9361
ISBN:
978-3-319-08586-9

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP