Sciweavers

ESWS
2005
Springer

Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs

13 years 9 months ago
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason with both ontological and rule-based knowledge, which is illustrated by simulating reasoning in an expressive description logic (DL) equipped with DL-safe rules. Furthermore, ECLPs are more expressive in the sense that they enable nonmonotonic reasoning, a desirable feature in locally closed subareas of the Semantic Web.
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ESWS
Authors Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
Comments (0)