计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2010年
11期
122-125,129
,共5页
描述逻辑%Tbox推理%Abox推理%可满足性%一致性
描述邏輯%Tbox推理%Abox推理%可滿足性%一緻性
묘술라집%Tbox추리%Abox추리%가만족성%일치성
语义Web的出现使得描述逻辑(Description Logic)成为研究的热点.它是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性以及有效推理等优点,其中推理服务是它的核心.首先重点讨论基于Tbox和Abox的推理任务;其次,详细阐述各算法以及相互间内在联系;最后,得出描述逻辑的所有推理都可以转化为基于Abox的一致性检测问题,并给出其算法及实现过程.在语义Web环境下,描述逻辑的推理服务可以提高机器的理解能力,实现机器完全自主化.
語義Web的齣現使得描述邏輯(Description Logic)成為研究的熱點.它是近年來研究和髮展最快的知識錶示的形式化工具之一,具有彊大的錶達能力、可判定性以及有效推理等優點,其中推理服務是它的覈心.首先重點討論基于Tbox和Abox的推理任務;其次,詳細闡述各算法以及相互間內在聯繫;最後,得齣描述邏輯的所有推理都可以轉化為基于Abox的一緻性檢測問題,併給齣其算法及實現過程.在語義Web環境下,描述邏輯的推理服務可以提高機器的理解能力,實現機器完全自主化.
어의Web적출현사득묘술라집(Description Logic)성위연구적열점.타시근년래연구화발전최쾌적지식표시적형식화공구지일,구유강대적표체능력、가판정성이급유효추리등우점,기중추리복무시타적핵심.수선중점토론기우Tbox화Abox적추리임무;기차,상세천술각산법이급상호간내재련계;최후,득출묘술라집적소유추리도가이전화위기우Abox적일치성검측문제,병급출기산법급실현과정.재어의Web배경하,묘술라집적추리복무가이제고궤기적리해능력,실현궤기완전자주화.
