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

Olles dieđut

Bibliográfalaš dieđut
Váldodahkkit: Horrocks, I, Motik, B, Nenov, I, Piro, R
Eará dahkkit: Bonet, B
Materiálatiipa: Conference item
Almmustuhtton: AAAI Press 2015