计算机工程与应用2011，Vol.47Issue(9)：21-24,4.DOI:10.3778/j.issn.1002-8331.2011.09.006
非一致OWL本体的推理方法研究
Research about reasoning approach on OWL ontology with inconsistency.
摘要
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.关键词
回答集程序/本体/非单调推理/网络本体语言(0WL)/非一致性/描述逻辑Key words
answer set programming/ ontology/ nonmonotonic inference/ Web Ontology Language(OWL)/ inconsistency/ Description Logic(DL)分类
信息技术与安全科学引用本文复制引用
丁松,唐胜群,刘坤,张亮,秦学..非一致OWL本体的推理方法研究[J].计算机工程与应用,2011,47(9):21-24,4.基金项目
国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.2007CB310800) （973）
武汉市科技局科研发展基金项目(No.200810321167). （No.200810321167）
