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

Research about reasoning approach on OWL ontology with inconsistency

作　　者：丁松[1] 唐胜群[1] 刘坤[1] 张亮[1] 秦学[1] 

机构地区：[1]武汉大学软件工程国家重点实验室,武汉430072

出　　处：《计算机工程与应用》2011年第9期21-24,共4页Computer Engineering and Applications

基　　金：基金项目:国家重点基础研究发展规划(973)(No.2007CB310800);武汉市科技局科研发展基金项目(No.200810321167)~~

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]