一种基于符号变换的描述逻辑ALC超协调推理算法

doi:10.3969/j.issn.1002-137X.2011.03.047

CORC > 北京大学 > 信息科学技术学院

	一种基于符号变换的描述逻辑ALC超协调推理算法; Algorithm Based on Sign Transformation for Paraconsistent Reasoning in Description Logic ALC
	张小旺 ; 肖国辉
刊名	计算机科学
	2011
关键词	语义互联网描述逻辑ALC 表演算超协调表演算不协调性处理
DOI	10.3969/j.issn.1002-137X.2011.03.047
英文摘要	语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息.众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力.近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化,从而容忍本体中出现的不协调.因为这些方法限制了描述逻辑系统的推理能力,所以推理能力弱于经典的描述逻辑推理能力,即使在处理协调的本体时.提出一种基于符号变换的具有强推理能力的超协调推理算法.证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力.; 国家自然科学基金; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 3; 206-212; 38
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/12759]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	张小旺,肖国辉. 一种基于符号变换的描述逻辑ALC超协调推理算法, Algorithm Based on Sign Transformation for Paraconsistent Reasoning in Description Logic ALC[J]. 计算机科学,2011.
APA	张小旺,&肖国辉.(2011).一种基于符号变换的描述逻辑ALC超协调推理算法.计算机科学.
MLA	张小旺,et al."一种基于符号变换的描述逻辑ALC超协调推理算法".计算机科学 (2011).