计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (9): 21-24.
• 博士论坛 • 上一篇 下一篇
丁 松，唐胜群，刘 坤，张 亮，秦 学
收稿日期:
修回日期:
出版日期:
发布日期:
DING Song，TANG Shengqun，LIU Kun，ZHANG Liang，QIN Xue
Received:
Revised:
Online:
Published:
摘要： 针对目前OWL推理机无法在非一致本体上进行推理的问题，提出了一种基于回答集程序的非一致本体推理方式，将OWL本体翻译为一类逻辑程序：HEX回答集程序，把本体推理问题规约为回答集程序求解问题。并通过在非一致本体上的推理实验，验证了该类方法的有效性。
关键词: 回答集程序, 本体, 非单调推理, 网络本体语言（OWL）, 非一致性, 描述逻辑
Abstract: With reasoning on the inconsistent ontology，a reasoning approach based on answer set programs is proposed.In the proposed method，the ontology is translated into HEX answer set program and the reasoning problem is reduced to a corresponding model solution problem on an answer set program.The details of inference approach are given and the relative experiment is presented to show the feasibility.
Key words: answer set programming, ontology, nonmonotonic inference, Web Ontology Language（OWL）, inconsistency, Description Logic（DL）
丁 松，唐胜群，刘 坤，张 亮，秦 学. 非一致OWL本体的推理方法研究[J]. 计算机工程与应用, 2011, 47(9): 21-24.
DING Song，TANG Shengqun，LIU Kun，ZHANG Liang，QIN Xue. Research about reasoning approach on OWL ontology with inconsistency[J]. Computer Engineering and Applications, 2011, 47(9): 21-24.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/
http://cea.ceaj.org/CN/Y2011/V47/I9/21
