EL-ifying ontologies
<p>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 invest...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Jezik: | English |
| Izdano: |
2014
|
| Teme: |
| _version_ | 1826257237767618560 |
|---|---|
| author | Carral, D Feier, C Grau, B Hitzler, P Horrocks, I |
| author_facet | Carral, D Feier, C Grau, B Hitzler, P Horrocks, I |
| author_sort | Carral, D |
| collection | OXFORD |
| description | <p>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.</p> |
| first_indexed | 2024-03-06T18:14:58Z |
| format | Journal article |
| id | oxford-uuid:044e09b3-e8e1-4dc2-a6ef-d19ae1aebc54 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T18:14:58Z |
| publishDate | 2014 |
| record_format | dspace |
| spelling | oxford-uuid:044e09b3-e8e1-4dc2-a6ef-d19ae1aebc542022-03-26T08:51:02ZEL-ifying ontologies Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:044e09b3-e8e1-4dc2-a6ef-d19ae1aebc54Computer science (mathematics)Applications and algorithmsTheory and automated verificationEnglishOxford University Research Archive - Valet2014Carral, DFeier, CGrau, BHitzler, PHorrocks, I<p>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.</p> |
| spellingShingle | Computer science (mathematics) Applications and algorithms Theory and automated verification Carral, D Feier, C Grau, B Hitzler, P Horrocks, I EL-ifying ontologies |
| title | EL-ifying ontologies |
| title_full | EL-ifying ontologies |
| title_fullStr | EL-ifying ontologies |
| title_full_unstemmed | EL-ifying ontologies |
| title_short | EL-ifying ontologies |
| title_sort | el ifying ontologies |
| topic | Computer science (mathematics) Applications and algorithms Theory and automated verification |
| work_keys_str_mv | AT carrald elifyingontologies AT feierc elifyingontologies AT graub elifyingontologies AT hitzlerp elifyingontologies AT horrocksi elifyingontologies |