Handling owl:sameAs via rewriting
<p>Rewriting is widely used to optimise owl:sameAs reasoning in materialisation based OWL 2 RL systems. We investigate issues related to both the correctness and efficiency of rewriting, and present an algorithm that guarantees correctness, improves efficiency, and can be effectively paralleli...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Conference item |
| Published: |
AAAI Press
2015
|
| _version_ | 1826296295237615616 |
|---|---|
| author | Horrocks, I Motik, B Nenov, I Piro, R |
| author2 | Bonet, B |
| author_facet | Bonet, B Horrocks, I Motik, B Nenov, I Piro, R |
| author_sort | Horrocks, I |
| collection | OXFORD |
| description | <p>Rewriting is widely used to optimise owl:sameAs reasoning in materialisation based OWL 2 RL systems. We investigate issues related to both the correctness and efficiency of rewriting, and present an algorithm that guarantees correctness, improves efficiency, and can be effectively parallelised. Our evaluation shows that our approach can reduce reasoning times on practical data sets by orders of magnitude.</p> |
| first_indexed | 2024-03-07T04:14:08Z |
| format | Conference item |
| id | oxford-uuid:c8d74eba-86df-4f2e-b87e-2bb28d186a45 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:14:08Z |
| publishDate | 2015 |
| publisher | AAAI Press |
| record_format | dspace |
| spelling | oxford-uuid:c8d74eba-86df-4f2e-b87e-2bb28d186a452022-03-27T06:54:54ZHandling owl:sameAs via rewritingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:c8d74eba-86df-4f2e-b87e-2bb28d186a45Symplectic Elements at OxfordAAAI Press2015Horrocks, IMotik, BNenov, IPiro, RBonet, BKoenig, S<p>Rewriting is widely used to optimise owl:sameAs reasoning in materialisation based OWL 2 RL systems. We investigate issues related to both the correctness and efficiency of rewriting, and present an algorithm that guarantees correctness, improves efficiency, and can be effectively parallelised. Our evaluation shows that our approach can reduce reasoning times on practical data sets by orders of magnitude.</p> |
| spellingShingle | Horrocks, I Motik, B Nenov, I Piro, R Handling owl:sameAs via rewriting |
| title | Handling owl:sameAs via rewriting |
| title_full | Handling owl:sameAs via rewriting |
| title_fullStr | Handling owl:sameAs via rewriting |
| title_full_unstemmed | Handling owl:sameAs via rewriting |
| title_short | Handling owl:sameAs via rewriting |
| title_sort | handling owl sameas via rewriting |
| work_keys_str_mv | AT horrocksi handlingowlsameasviarewriting AT motikb handlingowlsameasviarewriting AT nenovi handlingowlsameasviarewriting AT piror handlingowlsameasviarewriting |