Andrea Calì Georg Gottlob Thomas Lukasiewicz A general datalog-based framework for tractable query answering over ontologies. 77-86 2009 PODS http://doi.acm.org/10.1145/1559795.1559809 conf/pods/2009 db/conf/pods/pods2009.html#CaliGL09