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

Popoln opis

Bibliografske podrobnosti
Main Authors: Horrocks, I, Motik, B, Nenov, I, Piro, R
Drugi avtorji: Bonet, B
Format: Conference item
Izdano: AAAI Press 2015
Search Result 1