A general Datalog-based framework for tractable query answering over ontologies (2009)

by Andrea Calì, Georg Gottlob, Thomas Lukasiewicz
Venue:In Proc. PODS-2009. ACM