Title | ||
---|---|---|
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11431053_27 | ESWC |
Keywords | Field | DocType |
nonmonotonic reasoning,finite answer set programming,conceptual logic program,expressive description logic,extended conceptual logic program,dl-safe rule,desirable feature,simulating reasoning,rule-based knowledge,semantic web,nonmonotonic ontological,rule-based reasoning,rule based reasoning,rule based | Data mining,Knowledge representation and reasoning,Horn clause,Computer science,Description logic,Decidability,Circumscription,Deductive reasoning,Non-monotonic logic,Answer set programming | Conference |
Volume | ISSN | ISBN |
3532 | 0302-9743 | 3-540-26124-9 |
Citations | PageRank | References |
25 | 1.17 | 17 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stijn Heymans | 1 | 463 | 37.60 |
Davy Van Nieuwenborgh | 2 | 231 | 14.54 |
Dirk Vermeir | 3 | 694 | 85.34 |