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

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Horrocks, I, Motik, B, Nenov, I, Piro, R
Бусад зохиолчид: Bonet, B
Формат: Conference item
Хэвлэсэн: AAAI Press 2015