计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
9期
21-24
,共4页
丁松%唐胜群%刘坤%张亮%秦学
丁鬆%唐勝群%劉坤%張亮%秦學
정송%당성군%류곤%장량%진학
回答集程序%本体%非单调推理%网络本体语言(0WL)%非一致性%描述逻辑
迴答集程序%本體%非單調推理%網絡本體語言(0WL)%非一緻性%描述邏輯
회답집정서%본체%비단조추리%망락본체어언(0WL)%비일치성%묘술라집
针对目前OWL推理机无法在非一致本体上进行推理的问题,提出了一种基于回答集程序的非一致本体推理方式,将OWL本体翻译为一类逻辑程序:HEX回答集程序,把本体推理问题规约为回答集程序求解问题.并通过在非一致本体上的推理实验,验证了该类方法的有效性.
針對目前OWL推理機無法在非一緻本體上進行推理的問題,提齣瞭一種基于迴答集程序的非一緻本體推理方式,將OWL本體翻譯為一類邏輯程序:HEX迴答集程序,把本體推理問題規約為迴答集程序求解問題.併通過在非一緻本體上的推理實驗,驗證瞭該類方法的有效性.
침대목전OWL추리궤무법재비일치본체상진행추리적문제,제출료일충기우회답집정서적비일치본체추리방식,장OWL본체번역위일류라집정서:HEX회답집정서,파본체추리문제규약위회답집정서구해문제.병통과재비일치본체상적추리실험,험증료해류방법적유효성.
