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.
Cite
@article{arxiv.1411.3622,
title = {Handling owl:sameAs via Rewriting},
author = {Boris Motik and Yavor Nenov and Robert Piro and Ian Horrocks},
journal= {arXiv preprint arXiv:1411.3622},
year = {2014}
}
Comments
This is the technical report supporting the AAAI 2015 Conference submission with the same title