Complex Reasoning with Logic Database Languages F. Giannotti1, A. Raffaetà 2 and C. Renso1 1 CNUCE - CNR Italy 2 Dep. Computer Science - University of Pisa Italy Revigis…