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...

ver descrição completa

Detalhes bibliográficos
Main Authors: Horrocks, I, Motik, B, Nenov, I, Piro, R
Outros Autores: Bonet, B
Formato: Conference item
Publicado em: AAAI Press 2015
Search Result 1