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
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 647.9KB, Terms of use)
-
- Publisher copy:
- 10.1007/978-3-319-08587-6_36
Authors
+ Engineering and Physical Sciences Research Council
More from this funder
- Funding agency for:
- Feier, C
- Grau, B
- Grant:
- EP/J020214/1
- EP/J020214/1
- 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 More from this journal
- Pages:
- 464-479
- Publication date:
- 2014-01-01
- Edition:
- Accepted Manuscript
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0302-9743
- ISBN:
- 9783319085869
- Language:
-
English
- Keywords:
- Subjects:
- UUID:
-
uuid:044e09b3-e8e1-4dc2-a6ef-d19ae1aebc54
- Local pid:
-
ora:9361
- Deposit date:
-
2014-11-21
- ARK identifier:
Terms of use
- Copyright holder:
- Springer International Publishing Switzerland
- Copyright date:
- 2014
- Notes:
- Copyright Springer International Publishing Switzerland 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-08587-6_36
If you are the owner of this record, you can report an update to it here: Report update to this record