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:
-
-
(Accepted manuscript, pdf, 647.9KB)
-
- Publisher copy:
- 10.1007/978-3-319-08587-6_36
Why is the content I wish to access not available via ORA?
Bibliographic data (the information relating to research outputs) and full-text items (e.g. articles, theses, reports, etc.) arrive in ORA from several different sources. Unfortunately we are not able to make available the full-text for every research output.
Please contact the ORA team (
) if you have queries regarding unavailable content OR if you are aware of a full-text copy we can make available.
) if you have queries regarding unavailable content OR if you are aware of a full-text copy we can make available.
Content may be unavailable for the following four reasons
-
Version unsuitable
-
We have not obtained a suitable full-text for a given research output. See this page for more information.
-
Recently completed
-
Sometimes content is held in ORA but is unavailable for a fixed period of time to comply with the policies and wishes of rights holders.
-
Permissions
-
All content made available in ORA should comply with relevant rights, such as copyright. See this page for more information.
-
Clearance
-
Some thesis volumes scanned as part of the digitisation scheme funded by Dr Leonard Polonsky are currently unavailable due to sensitive material or uncleared third-party copyright content. We are attempting to contact authors whose theses are affected.
Alternative access to the full-text
You may be able to access the full-text directly from the publisher's website using the 'Publisher Copy' link in the 'Links & Downloads' box from a research output's ORA record page. This method may require an institutional or individual subscription to the journal/resource.
Authors
Funding
+ Engineering and Physical Sciences Research Council
More from this funder
Funding agency for:
Feier, C
Grant:
EP/J020214/1
+ Engineering and Physical Sciences Research Council
More from this funder
Funding agency for:
Grau, B
Grant:
EP/J020214/1
Bibliographic Details
- 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-01-01
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0302-9743
- ISBN:
- 9783319085869
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:044e09b3-e8e1-4dc2-a6ef-d19ae1aebc54
- Local pid:
- ora:9361
- Deposit date:
- 2014-11-21
Related Items
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