计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2009年
3期
452-458
,共7页
曹逸%徐德智%陈建二%管庆华
曹逸%徐德智%陳建二%管慶華
조일%서덕지%진건이%관경화
描述逻辑%认知描述逻辑%传递关系%认知查询%表算法
描述邏輯%認知描述邏輯%傳遞關繫%認知查詢%錶算法
묘술라집%인지묘술라집%전체관계%인지사순%표산법
描述逻辑是语义Web的逻辑基础,它是形式化表达领域知识的一种工具.描述逻辑是一阶逻辑的可判定子集,适合对领域知识的概念术语进行建模.因为某些应用程序的需要和领域知识难以完全描述的因素,Web上有大量的不完全知识.描述逻辑基于开放世界假设,只能表达单调推理,不能处理不完全知识.在描述逻辑中加入认知运算符K可以得到认知描述逻辑.认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势.在认知描述逻辑ALCK的基础上加入传递关系属性提出了新的认知描述逻辑语言ALCKR+,保留了描述逻辑原有的优点,增强了表达能力并通过认知查询拥有了非单调推理的能力.设计了ALCKR+的语法、语义以及表算法,给出了表算法的正确性以及可判定性证明,证明表算法的时间复杂度为PSPACE-tomplete.
描述邏輯是語義Web的邏輯基礎,它是形式化錶達領域知識的一種工具.描述邏輯是一階邏輯的可判定子集,適閤對領域知識的概唸術語進行建模.因為某些應用程序的需要和領域知識難以完全描述的因素,Web上有大量的不完全知識.描述邏輯基于開放世界假設,隻能錶達單調推理,不能處理不完全知識.在描述邏輯中加入認知運算符K可以得到認知描述邏輯.認知描述邏輯因其非單調特性和良好的時間複雜度等特點在處理不完全知識方麵有較好的優勢.在認知描述邏輯ALCK的基礎上加入傳遞關繫屬性提齣瞭新的認知描述邏輯語言ALCKR+,保留瞭描述邏輯原有的優點,增彊瞭錶達能力併通過認知查詢擁有瞭非單調推理的能力.設計瞭ALCKR+的語法、語義以及錶算法,給齣瞭錶算法的正確性以及可判定性證明,證明錶算法的時間複雜度為PSPACE-tomplete.
묘술라집시어의Web적라집기출,타시형식화표체영역지식적일충공구.묘술라집시일계라집적가판정자집,괄합대영역지식적개념술어진행건모.인위모사응용정서적수요화영역지식난이완전묘술적인소,Web상유대량적불완전지식.묘술라집기우개방세계가설,지능표체단조추리,불능처리불완전지식.재묘술라집중가입인지운산부K가이득도인지묘술라집.인지묘술라집인기비단조특성화량호적시간복잡도등특점재처리불완전지식방면유교호적우세.재인지묘술라집ALCK적기출상가입전체관계속성제출료신적인지묘술라집어언ALCKR+,보류료묘술라집원유적우점,증강료표체능력병통과인지사순옹유료비단조추리적능력.설계료ALCKR+적어법、어의이급표산법,급출료표산법적정학성이급가판정성증명,증명표산법적시간복잡도위PSPACE-tomplete.
