支持模糊数据类型表示的模糊描述逻辑研究

发布时间：2025-05-13 00:03

　　语义Web是当前Web的扩展,它赋予Web资源信息机器可理解的语义,从而便于人和计算机之间的交互与协作。为了让机器能够理解Web资源信息并做推理,需要建立本体,并利用本体语言来表示语义Web中的知识和语义。目前,面向语义Web的本体语言主要有OIL, DAML+OIL和OWL等。为了使语义Web具备可推理的性质,上述本体语言都以描述逻辑作为逻辑基础。 由于很多语义Web应用需要处理大量的模糊知识,而现有描述逻辑及OWL语言不能直接用于模糊知识的表示和推理,因而近年来国内外大量的研究工作致力于描述逻辑及OWL的模糊扩展。然而,通过分析国内外在描述逻辑模糊扩展、描述逻辑推理机实现以及OWL模糊扩展等方面的研究现状发现,现有描述逻辑以及OWL语言的模糊扩展无法表示含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息,而这类复杂模糊数据类型信息在很多数据和知识密集型实际应用中发挥着关键的作用。为此,本文对支持自定义模糊数据类型及谓词表示的模糊描述逻辑、相应的推理机以及相应的模糊OWL扩展语言展开了深入的研究。具体研究内容包括以下几个方面： (1)首先,通过与XML Schem...

【文章页数】：153 页

【学位级别】：博士

【部分图文】：

图1.1语义Web架构

语义web的架构是一个功能逐层增强的层次化结构l4](如图1.1所示)。第一层unicode是一个字符集，这个字符集中所有字符都用两个字节表示，可以表示65536个字符，基本上包括了世界上所有语言的字符。数据格式采用Unicode的好处就是它支持世界上所有主要语言的混合，并且可以....

图5.2FREsGI.0推理机的运行结果

图5.2FREsGI.0推理机的运行结果Figs·2TherunningresultsofFRESGI.0reasoner的概念转化为用只月LC(G)语法表示的概念归R.洲S.(C门D)))日Tj，乃，乃.(E，八场)));然后，通过FKESGI.0推理转换部分将检查概念的可满

图5.3模糊描述逻辑推理机之间的关系

模糊数据类型及自定义模糊数据类型谓词的模糊数据类型信息的推理。FRESGI.0虽然在推理能力上不能成为现有模糊描述逻辑推理机的超集，但也不是其子集。FRESGI.O与其他模糊推理机的推理能力之间的关系，如图5.3所示。其中，U代表人类知识;虚线所示的圆表示FRESGI.0推理机;....

图5.4FRESGI.O推理机的性能Fig5.4PerformaneeoftheFRESGI.oreasoner

境是:PC机的基本配置是双核1.SGHzPentiumCPU，IG内存，Wi统。表5.5给出了推理时间与不同规模的ABox的对应关系。在图5.时间随着ABox规模的变化而变化的曲线。需要指出的是，因为不不同的表达能力(如图5.3所示)，所以很难将FREsGI.。推理机与辑推理机进....

本文编号：4045429