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

作者：丁松 唐胜群 刘坤 张亮 秦学回答集程序本体非单调推理非一致性描述逻辑

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社