Extending Conceptual Logic Programs with Arbitrary Rules

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.

• Type: Conference
• Year: 2005
• Where: ASP
• Authors: Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
• Keywords: Artificial Intelligence, ASP 2005, Enable Nonmonotonic Reasoning, Expressive Description Logic, Extended Conceptual Logic