Andrea Calì Georg Gottlob Thomas Lukasiewicz Datalog<sup>±</sup>: a unified approach to ontologies and integrity constraints. 14-30 2009 ICDT http://doi.acm.org/10.1145/1514894.1514897 conf/icdt/2009 db/conf/icdt/icdt2009.html#CaliGL09