计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
3期
206-212
,共7页
语义互联网%描述逻辑ALC%表演算%超协调表演算%不协调性处理
語義互聯網%描述邏輯ALC%錶縯算%超協調錶縯算%不協調性處理
어의호련망%묘술라집ALC%표연산%초협조표연산%불협조성처리
语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息.众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力.近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化,从而容忍本体中出现的不协调.因为这些方法限制了描述逻辑系统的推理能力,所以推理能力弱于经典的描述逻辑推理能力,即使在处理协调的本体时.提出一种基于符号变换的具有强推理能力的超协调推理算法.证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力.
語義萬維網作為一箇開放、不斷更新而且相互協作的環境,經常會包含一些不協調的或不精確的信息.衆所週知,描述邏輯是語義萬維網重要的邏輯基礎,然而描述邏輯缺乏處理不協調或不完全信息的能力.近來一些超協調方案通過限製或阻止使用一些推理規則來避免推理的平凡化,從而容忍本體中齣現的不協調.因為這些方法限製瞭描述邏輯繫統的推理能力,所以推理能力弱于經典的描述邏輯推理能力,即使在處理協調的本體時.提齣一種基于符號變換的具有彊推理能力的超協調推理算法.證明瞭該算法是可判定的,而且在處理協調的本體時該推理繫統與經典邏輯繫統具有相等的推理能力.
어의만유망작위일개개방、불단경신이차상호협작적배경,경상회포함일사불협조적혹불정학적신식.음소주지,묘술라집시어의만유망중요적라집기출,연이묘술라집결핍처리불협조혹불완전신식적능력.근래일사초협조방안통과한제혹조지사용일사추리규칙래피면추리적평범화,종이용인본체중출현적불협조.인위저사방법한제료묘술라집계통적추리능력,소이추리능력약우경전적묘술라집추리능력,즉사재처리협조적본체시.제출일충기우부호변환적구유강추리능력적초협조추리산법.증명료해산법시가판정적,이차재처리협조적본체시해추리계통여경전라집계통구유상등적추리능력.