Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
复制标题
具有扩展概念逻辑程序的非单调本体论和基于规则的推理
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
D. Vermeir
中科院分区：
文献类型：
--
作者：
S. Heymans;Davy Van Nieuwenborgh;D. Vermeir
我们提出了扩展概念逻辑规划（eclp），其推理是可决定的，并且可以简化为有限答案集规划。eclp对于使用本体论和基于规则的知识进行推理都很有用，这可以通过在配备了DL安全规则的表达性描述逻辑（DL）中模拟推理来说明。此外，eclp的表达能力更强，因为它们支持非单调推理，这是语义网局部封闭子区域的理想特性。
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.