Fusion of logic programming and description logics

Abstract

Broadly, our research concerns the fusion of Logic Programming (LP) andDescription Logics (DLs), two solid knowledge representation paradigms with largely dual properties.The two feature different semantics and orthogonal expressivity, and they apply different reasoning techniques. Finding ways to exploit the positive features of both has become an important research topic, which has also been fueled by the prospect of applications in the Semantic Web [10]. In the latter context, ontologies written in expressive DLs are to be used to provide a common conceptualization of web resources, which can then be accessed by LP-based automated agents providing services to end-users. © 2009 Springer Berlin Heidelberg.