Sciweavers

Share
ASP
2003
Springer

Integrating Semantic Web Reasoning and Answer Set Programming

9 years 3 months ago
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.
Stijn Heymans, Dirk Vermeir
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where ASP
Authors Stijn Heymans, Dirk Vermeir
Comments (0)
books