非一致OWL本体的推理方法研究

摘要：

针对目前OWL推理机无法在非一致本体上进行推理的问题,提出了一种基于回答集程序的非一致本体推理方式,将OWL本体翻译为一类逻辑程序:HEX回答集程序,把本体推理问题规约为回答集程序求解问题.并通过在非一致本体上的推理实验,验证了该类方法的有效性.

关键词：回答集程序、本体、非单调推理、网络本体语言(0WL)、非一致性、描述逻辑

所属期刊栏目：47

分类号：TP311(计算技术、计算机技术)

资助基金：国家重点基础研究发展规划973the National Grand Fundamental Research 973 Program of China under Grant 2007CB310800;武汉市科技局科研发展基金项目200810321167

在线出版日期：2011-09-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：21-24