Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules

Boris Motik. Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. In Diego Calvanese, Georg Lausen, editors, Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings. Volume 5341 of Lecture Notes in Computer Science, pages 12, Springer, 2008. [doi]

Abstract

Abstract is missing.