甘肃科技
甘肅科技
감숙과기
GANSU SCIENCE AND TECHNOLOGY
2010年
4期
42-44
,共3页
语义Web%OWL DL%描述逻辑%推理
語義Web%OWL DL%描述邏輯%推理
어의Web%OWL DL%묘술라집%추리
语义Web的逻辑基础是描述逻辑,其出现的目的就是为了解决机器和人对知识理解的问题,因此,可以在语义Web的基础上展开推理.传统的推理系统结合语义Web可以克服知识表示方面的缺点,并且有利于知识的共享.探讨了OWL DL作为知识表示形式的优点;通过实例验证了OWL DL关于描述逻辑的推理.
語義Web的邏輯基礎是描述邏輯,其齣現的目的就是為瞭解決機器和人對知識理解的問題,因此,可以在語義Web的基礎上展開推理.傳統的推理繫統結閤語義Web可以剋服知識錶示方麵的缺點,併且有利于知識的共享.探討瞭OWL DL作為知識錶示形式的優點;通過實例驗證瞭OWL DL關于描述邏輯的推理.
어의Web적라집기출시묘술라집,기출현적목적취시위료해결궤기화인대지식리해적문제,인차,가이재어의Web적기출상전개추리.전통적추리계통결합어의Web가이극복지식표시방면적결점,병차유리우지식적공향.탐토료OWL DL작위지식표시형식적우점;통과실례험증료OWL DL관우묘술라집적추리.