An Integrated Environment for Reasoning over Ontologies via Logic Programming

Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina. An Integrated Environment for Reasoning over Ontologies via Logic Programming. In Wolfgang Faber, Domenico Lembo, editors, Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Volume 7994 of Lecture Notes in Computer Science, pages 253-258, Springer, 2013. [doi]

Abstract

Abstract is missing.