Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications

Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris. Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom. pages 228-242, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.