计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2008年
21期
5531-5536,5549
,共7页
语义Web%Ontology%描述逻辑%数据类型%个体%表算法%推理系统
語義Web%Ontology%描述邏輯%數據類型%箇體%錶算法%推理繫統
어의Web%Ontology%묘술라집%수거류형%개체%표산법%추리계통
SHOQ(D)描述逻辑可以对概念、角色.个体、数据类型进行推理,能够克服OIL语言不能处理命名的个体和具体数据类型的缺点.该文设计并实现了SHOQ(D)描述逻辑的ontology推理系统,在SHIQ表算法的基础上,通过修改和添加数据类型和个体的相关规则,得到SHOQ(D)表算法.该系统的实现基于FACT系统,提供了对术语知识库TKB进行操作的函数和宏,主要有向TKB中添加公理、进行推理和回答查询等.实验结果验证SHOQ(D)系统的表达能力优于FACT系统.
SHOQ(D)描述邏輯可以對概唸、角色.箇體、數據類型進行推理,能夠剋服OIL語言不能處理命名的箇體和具體數據類型的缺點.該文設計併實現瞭SHOQ(D)描述邏輯的ontology推理繫統,在SHIQ錶算法的基礎上,通過脩改和添加數據類型和箇體的相關規則,得到SHOQ(D)錶算法.該繫統的實現基于FACT繫統,提供瞭對術語知識庫TKB進行操作的函數和宏,主要有嚮TKB中添加公理、進行推理和迴答查詢等.實驗結果驗證SHOQ(D)繫統的錶達能力優于FACT繫統.
SHOQ(D)묘술라집가이대개념、각색.개체、수거류형진행추리,능구극복OIL어언불능처리명명적개체화구체수거류형적결점.해문설계병실현료SHOQ(D)묘술라집적ontology추리계통,재SHIQ표산법적기출상,통과수개화첨가수거류형화개체적상관규칙,득도SHOQ(D)표산법.해계통적실현기우FACT계통,제공료대술어지식고TKB진행조작적함수화굉,주요유향TKB중첨가공리、진행추리화회답사순등.실험결과험증SHOQ(D)계통적표체능력우우FACT계통.
