支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)

摘要：

分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题,提出了一种新的模糊描述逻辑F-SHOIQ(G).F-SHOIQ(G)不仅能够表示模糊知识,而且能够表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息.首先,给出了模糊数据类型域的概念和模糊数据类型表示的一般形式,在此基础上,定义了F-SHOIQ(G)的语法、语义及相应的知识库,进而给出了基于模糊Tableaux的F-SHOIQ(G)概念的可满足性推理算法.其次,将经典描述逻辑中的推理结构(该结构将Tableaux扩展规则推理和数据类型推理相分离)用于F-SHOIQ(G)的推理问题,设计了相应的模糊数据类型推理机.最后,详细证明了F-SHOIQ(G)概念的可满足性推理问题是可判定的.在数据类型表示方面,F-SHOIQ(G)具备比FSHOIQ更强的表达能力和推理能力,为语义Web表示和推理模糊数据信息提供了理论基础.

关键词：模糊描述逻辑、F-SHOIQ(G)、模糊数据类型表示、Tableaux算法、自定义模糊数据类型谓词

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60873010;教育部新世纪优秀人才支持计划NCET-05-0288;教育部高等学校博士学科点专项科研基金20050145024资助.王海龙,男,1983年生,博士研究生,主要研究方向为描述逻辑与语义Web

在线出版日期：2009-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：1511-1524