Integrating Semantic Web Reasoning and Answer Set Programming

Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, features that are present in most DLs. The extended language, conceptual logic programming (CLP) proves to be a viable alternative for intuitively representing and reasoning nonmonotonically, in a decidable way, with possibly infinite knowledge. Not only can conceptual logic programs (CLPs) simulate finite answer set programming, they are also flexible enough to simulate reasoning in an expressive class of description logics, thus being able to play the role of ontology language, as well as rule language, on the Semantic Web.

• Type: Conference
• Year: 2003
• Where: ASP
• Authors: Stijn Heymans, Dirk Vermeir
• Keywords: Answer Set Programming, ASP 2003, Description Logics, Expressive Class