Handling Owl: sameAs via Rewriting

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.

Cite

Text

Motik et al. "Handling Owl: sameAs via Rewriting." AAAI Conference on Artificial Intelligence, 2015. doi:10.1609/AAAI.V29I1.9187

Markdown

[Motik et al. "Handling Owl: sameAs via Rewriting." AAAI Conference on Artificial Intelligence, 2015.](https://mlanthology.org/aaai/2015/motik2015aaai-handling/) doi:10.1609/AAAI.V29I1.9187

BibTeX

@inproceedings{motik2015aaai-handling,
  title     = {{Handling Owl: sameAs via Rewriting}},
  author    = {Motik, Boris and Nenov, Yavor and Piro, Robert Edgar Felix and Horrocks, Ian},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {231-237},
  doi       = {10.1609/AAAI.V29I1.9187},
  url       = {https://mlanthology.org/aaai/2015/motik2015aaai-handling/}
}