描述逻辑归结推理的研究

发布时间：2024-12-01 00:49

　　本文研究描述逻辑在语义网中的应用,在数据模型中语义的定义及推理,包括以下几个方面: (1)研究描述逻辑的体系结构,描述逻辑的构造算子,描述逻辑的推理必须满足的基本性质。对语义网的发展和语义网的体系结构作简要的介绍,阐述知识表示的常用方法,给出够造本体的准则和OWL本体描述语言的构造算子及支持的公理,分析OWL的三个子语言OWL Lite、OWL DL和OWL Full之间的关系。 (2)研究并分析语义网发展现状,描述逻辑和语义网之间的联系,提出语义网语义表示所存在的问题,给出可满足性推理算法Tableaux。 (3)参照一阶谓词逻辑的思想完成描述逻辑的推理,使用归结推理的控制策略对语义进行推理。 (4)使用rough集理论描述不确定性的知识。 论文共分七章,第一章介绍论文研究的背景和必要性;第二章研究描述逻辑的概念和它的体系结构;第三章介绍语义网的发展现状以及发展前景,阐述语义网和描述逻辑之间的关系;第四章介绍一阶谓词逻辑中使用的归结推理的方法,并在归结推理过程中使用控制策略;第五章介绍rough集理论,运用rough集理论描述不确定性的知识,实现对不确定性知识的描述...

【文章页数】：62 页

【学位级别】：硕士

【部分图文】：

图3-6OWL三种子语言通过上图可以看出，三种子语言是包含和被包含的关系

[Symmetric]R=(-R)R=(RI)-[Functional]T≤1RRI是函数[InverseFunctional]T≤1R-(RI)-是函数[Transitive]Tr(R)RI=(RI)+SubPropertyOf(R1R2)R1R2RI....

本文编号：4013281