A logical toolbox for ontological reasoning

Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris. A logical toolbox for ontological reasoning. SIGMOD Record, 40(3):5-14, 2011. [doi]

Abstract

Abstract is missing.