论文部分内容阅读
语义Web是当前Web的扩展，它为Web信息附加计算机可理解的语义，实现Web数据处理的智能化。描述逻辑被视为语义Web的主要逻辑基础，它赋予Web信息以形式化的语义。随着语义Web的发展，语义Web对于表示能力的需求不断提高。某些特定领域如网络多媒体信息检索需要处理模糊信息。但是经典描述只能处理精确概念和精确关系，不能表示非确定信息的模糊特性。因此需要扩展描述逻辑使其具有处理模糊信息的能力。
本文提出一种新的描述逻辑模糊扩展框架：扩展模糊描述逻辑，它引入原子模糊概念和原子模糊关系的截集作为原子截概念和原子截关系，并沿用经典描述逻辑的概念和关系构造子来构造复杂截概念和截关系。本文还给出扩展模糊描述逻辑知识库和推理问题的定义。扩展模糊描述逻辑和其它描述逻辑模糊扩展的比较表明扩展模糊描述逻辑具有更强的表示能力。本文主要关注扩展模糊描述逻辑在空 TBox 和非空 TBox 下的推理技术。在空TBox约束下，提出EFALCN推理问题的具有多项式空间约束的Tableau算法。同时证明该算法的正确性和完备性，从而证明空 TBox 下 EEALCN 推理问题是PSPACE-comglete问题。在非空TBox约束下，引入阻塞技术来设计EFALC<,R+>推理问题具有指数时间约束的Tableau算法。同时证明该算法的正确性和完备性，从而证明TBox下EFALC<,R+>推理问题是EXPTIME-complete问题。