计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2011年
12期
2334-2342
,共9页
周丽平%黄厚宽%漆桂林%瞿有利%季秋
週麗平%黃厚寬%漆桂林%瞿有利%季鞦
주려평%황후관%칠계림%구유리%계추
语义Web%描述逻辑%DL-Lite%本体%MUPS
語義Web%描述邏輯%DL-Lite%本體%MUPS
어의Web%묘술라집%DL-Lite%본체%MUPS
在本体工程中,寻找不可满足概念或角色的本体最小不可满足保持子集是一个重要的研究课题,因为它可以提供一些有用的信息用于处理本体的不一致任务,比如分析本体、调试本体、修改本体等.现有的方法主要面向推理复杂度很高的高表达能力描述逻辑(DL).针对低复杂度描述逻辑DLLite,通过分析DL-Lite中不可满足概念或角色所具有的特点,提出了一种有效地计算DL-Lite本体中不可满足概念或角色的本体最小不可满足保持子集的算法.最后将算法与当前最有代表性的算法进行了比较,结果表明所提出的算法对于DL-Lite本体来说是有效的.
在本體工程中,尋找不可滿足概唸或角色的本體最小不可滿足保持子集是一箇重要的研究課題,因為它可以提供一些有用的信息用于處理本體的不一緻任務,比如分析本體、調試本體、脩改本體等.現有的方法主要麵嚮推理複雜度很高的高錶達能力描述邏輯(DL).針對低複雜度描述邏輯DLLite,通過分析DL-Lite中不可滿足概唸或角色所具有的特點,提齣瞭一種有效地計算DL-Lite本體中不可滿足概唸或角色的本體最小不可滿足保持子集的算法.最後將算法與噹前最有代錶性的算法進行瞭比較,結果錶明所提齣的算法對于DL-Lite本體來說是有效的.
재본체공정중,심조불가만족개념혹각색적본체최소불가만족보지자집시일개중요적연구과제,인위타가이제공일사유용적신식용우처리본체적불일치임무,비여분석본체、조시본체、수개본체등.현유적방법주요면향추리복잡도흔고적고표체능력묘술라집(DL).침대저복잡도묘술라집DLLite,통과분석DL-Lite중불가만족개념혹각색소구유적특점,제출료일충유효지계산DL-Lite본체중불가만족개념혹각색적본체최소불가만족보지자집적산법.최후장산법여당전최유대표성적산법진행료비교,결과표명소제출적산법대우DL-Lite본체래설시유효적.