计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2012年
12期
116-119,152
,共5页
描述逻辑%角色表达式%知识库
描述邏輯%角色錶達式%知識庫
묘술라집%각색표체식%지식고
本体描述知识的逻辑基础是描述逻辑(DL),虽然现有DL中对概念的描述方式非常丰富,但是角色却只能是原子角色.针对角色描述能力低的问题,在现有的DL SHIQ中增加了角色表达式来对角色进行描述,证明了如果知识库中所有角色表达式都是安全的,该知识库在现有的推理机KAON2上的推理仍然是Exp-Time,提出了一种判断角色表达式是否安全的算法.
本體描述知識的邏輯基礎是描述邏輯(DL),雖然現有DL中對概唸的描述方式非常豐富,但是角色卻隻能是原子角色.針對角色描述能力低的問題,在現有的DL SHIQ中增加瞭角色錶達式來對角色進行描述,證明瞭如果知識庫中所有角色錶達式都是安全的,該知識庫在現有的推理機KAON2上的推理仍然是Exp-Time,提齣瞭一種判斷角色錶達式是否安全的算法.
본체묘술지식적라집기출시묘술라집(DL),수연현유DL중대개념적묘술방식비상봉부,단시각색각지능시원자각색.침대각색묘술능력저적문제,재현유적DL SHIQ중증가료각색표체식래대각색진행묘술,증명료여과지식고중소유각색표체식도시안전적,해지식고재현유적추리궤KAON2상적추리잉연시Exp-Time,제출료일충판단각색표체식시부안전적산법.
