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

Full beskrivning

Bibliografiska uppgifter
Huvudupphovsmän: Horrocks, I, Motik, B, Nenov, I, Piro, R
Övriga upphovsmän: Bonet, B
Materialtyp: Conference item
Publicerad: AAAI Press 2015