no code implementations • 13 Nov 2014 • Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Rewriting is widely used to optimise owl:sameAs reasoning in materialisation based OWL 2 RL systems.