Handling owl:sameAs via rewriting
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.
- Publication status:
- Peer review status:
- Peer reviewed
- AAAI Press Publisher's website
- Source identifiers:
- Local pid:
- Copyright holder:
- Association for the Advancement of Artificial Intelligence
Copyright c 2015, Association for the Advancement of Artificial
Intelligence (www.aaai.org). All rights reserved.
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record