描述逻辑在空间推理中的应用

发布时间：2022-02-17 21:57

　　空间信息在众多领域中起到了越来越重要的作用,伴随着语义web的快速发展,空间语义web（Geospatial semantic web）也发展迅速。随着语义web的发展,对空间语义web和空间本体的研究也越来越深入。语义web将是21世纪信息技术领域的主要挑战之一,而空间语义web也必将成为一个非常重要的发展趋势。描述逻辑（Description Logics）是一种知识表示的形式化语言,是一阶逻辑（FOL）的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛的运用到计算机科学的诸多领域当中,成为语义web的逻辑基础和理论基础。作为基本描述逻辑的重要扩展之一,空间描述逻辑（Spatial Description Logics）是空间语义web和空间本体的理论基础和逻辑基础。针对当前空间描述逻辑和空间语义web中存在的问题,本文主要从以下两个方面进行研究:首先,利用模糊集合论的主要思想从理论上对空间描述逻辑进行模糊扩展,首次提出一个可以处理不确定空间知识的空间描述逻辑;然后,从应用上将空间检索与语义检索相结合,将空间描述逻辑使用到空间语义检索当中,解决了已有空间信息检索系统的弊端,大... 

【文章来源】：吉林大学吉林省211工程院校985工程院校教育部直属院校

【文章页数】：70 页

【学位级别】：硕士

【部分图文】：

解释函数必须满足的等式列表

项关于 T 都是约束的。一个 ABOX A 关于一个 TBOX T 是约束的仅当 T 是约束的并且所有在 A 中使用到的概念项都关于 T 是约束我们来考虑下面的例子：下面的三个术语都已经是展开的 NNF。它们都不是约束的，因为它们都违反了上述的条件之一。假设 C 是概念名称，AR 是原子关系项，CR 是复杂关系项，f 是一个特征是一个长度超过 1 的特征式链。: { . . } 1 C CT C R R D ， : { . u.P}2 CT C R ， : { . . f.P3 C AT C R R下节我们给出一个可靠的和完备的推理算法。.1.3 Tableau 算法

去生成一个或者多个后继的 ABOX，因此规则的反复使用会生成 ABOX 构建的树。最终，要么这棵树上所有叶子结点的 ABOX 突的，这表明概念 C 是不可满足的；要么获得一个没有冲突的 A且没有规则可以再继续应用到这个 ABOX 之上，在这样的情况之个 ABOX 称作是完备的并且是概念 C 的一个模型。反复运用推的目的就是将隐性的知识逐步变得显性，这个算法可以理解成一的建模过程。

【参考文献】：
期刊论文
[1]集成多方面信息的定性空间推理及应用[J]. 王生生,刘大有,谢琦,王新颖.  软件学报. 2003(11)
[2]基于语义网络的概念检索研究与实现[J]. 李蕾,王楠,钟义信,郭祥昊,韩鹏,贾自燕,高清霞.  情报学报. 2000(05)



本文编号：3630172