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

Celý popis

Podrobná bibliografie
Hlavní autoři: Horrocks, I, Motik, B, Nenov, I, Piro, R
Další autoři: Bonet, B
Médium: Conference item
Vydáno: AAAI Press 2015