Publications & Links

Raphael Volz. Web ontology reasoning with logic databases, February 2004.

E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and expressive power of logic programming, ACM Computing Surveys, 33(3):374-425, September 2001.

D. Calvanese, G. DeGiacomo, and M. Vardi. Decidable containment of recursive queries, In Proc. Database Theory - ICDT '03, 9th International Conference, pages 330--345, 2003.