Handling Owl:sameAs via Rewriting

Authors

  • Boris Motik University of Oxford
  • Yavor Nenov University of Oxford
  • Robert Piro University of Oxford
  • Ian Horrocks University of Oxford

DOI:

https://doi.org/10.1609/aaai.v29i1.9187

Keywords:

Datalog, Materialisation, Parallel, Equality, owl:sameAs, RDF

Abstract

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.

AAAI 2015 Proceedings Cover

Downloads

Published

2015-02-09

How to Cite

Motik, B., Nenov, Y., Piro, R., & Horrocks, I. (2015). Handling Owl:sameAs via Rewriting. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9187

Issue

Vol. 29 No. 1 (2015): Twenty-Ninth AAAI Conference on Artificial Intelligence

Section

AAAI Technical Track: AI and the Web