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

Research about reasoning approach on OWL ontology with inconsistency

针对目前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.