Well-Founded Semantics for Extended Datalog and Ontological Reasoning

André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob. Well-Founded Semantics for Extended Datalog and Ontological Reasoning. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 209-220, CEUR-WS.org, 2013. [doi]

Abstract

Abstract is missing.