计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
17期
26-28
,共3页
描述逻辑%角色表达式%知识库%安全性
描述邏輯%角色錶達式%知識庫%安全性
묘술라집%각색표체식%지식고%안전성
针对角色描述能力较弱的问题,在现有描述逻辑SHIQ中增加角色表达式对角色进行描述,形成描述逻辑SHIQb.给出SHIQb的相关定义,并证明若SHIQb知识库中所有角色表达式都是安全的,那么该知识库在现有的推理机KAON2上的推理仍然是PolynomiaTime这一定理.在此基础上,提出一种能够判断角色表达式是否安全的算法.
針對角色描述能力較弱的問題,在現有描述邏輯SHIQ中增加角色錶達式對角色進行描述,形成描述邏輯SHIQb.給齣SHIQb的相關定義,併證明若SHIQb知識庫中所有角色錶達式都是安全的,那麽該知識庫在現有的推理機KAON2上的推理仍然是PolynomiaTime這一定理.在此基礎上,提齣一種能夠判斷角色錶達式是否安全的算法.
침대각색묘술능력교약적문제,재현유묘술라집SHIQ중증가각색표체식대각색진행묘술,형성묘술라집SHIQb.급출SHIQb적상관정의,병증명약SHIQb지식고중소유각색표체식도시안전적,나요해지식고재현유적추리궤KAON2상적추리잉연시PolynomiaTime저일정리.재차기출상,제출일충능구판단각색표체식시부안전적산법.
