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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Horrocks, I, Motik, B, Nenov, I, Piro, R
Tác giả khác: Bonet, B
Định dạng: Conference item
Được phát hành: AAAI Press 2015