地理时空本体研究进展(1)(2)
2017-09-09 01:06
导读：时间关系的表示模型很多, 根据它们所采用的时间本体的基元不同可以大致分为两类, 即以时间点为时间基元的表示模型和以时间段为时间基元的表示模型
时间关系的表示模型很多, 根据它们所采用的时间本体的基元不同可以大致分为两类, 即以时间点为时间基元的表示模型和以时间段为时间基元的表示模型. 在人工智能早期的研究中, 多数的工作是以时间点为时间基元的, 例如状态演算(situat ional calcu lu s) [ 8 ]、B ruce 的Ch rono s 系统[ 9 ]以及时间专家系统( t im e specialist) [ 10 ]等. 但是在后来的研究中, 以A llen 为首的许多学者认为时间段比时间点更能体现人们常识中的时间概念.A llen 提出, 由于时间段是表示属性(p ropert ies) 和事件(even t s) 的最好概念, 因而它应该是唯一的时间基元. 此后, 许多学者都以此为依据建立一些模型. 也有学者提出过包含两种基元的时间模型, 例如V ila[ 11 ]等人.
1. 2 空间本体
对于空间本体的基元, 主要有基于点和基于区域两种选择[ 12 ]. 最初的空间
数学理论中, 把点作为基本空间实体, 并用点把区域定义为点的集合. 在Q SR (定性空间表示) 中, 更趋向于把区域作为基本空间实体. 尽管本体的出现意味着为多数空间和几何概念建立新的理论, 但是多数学者仍认为区域是本体基元.
除了基元问题外, 空间本体还要考虑空间的性质, 即它是同维的还是混合维的、离散的还是连续的、有限的还是无限的.代写硕士论文 这些问题引发了允许什么样的基元“计算”的问题. 即相当于逻辑理论中什么样的简单非逻辑符号在没有定义而只是被某个公理既约束条件下可以被承认. 另一个本体问题就是多维空间的建模问题, 一个方法是通过分别考虑每个维来进行空间建模, 但这种方法仍非常不完备.
由于空间关系可以分为3 类, 即拓扑关系、方位关系和度量关系. 因而, 其表示模型可以分为拓扑模型、方向模型和度量模型. 空间拓扑模型有点集拓扑和区域拓扑两类, 影响较大的是RCC 模型[ 13 ] , 它是以区域作为空间基元的. 方向模型研究中, 使用了点和区域两种基元, 例如F rank 的“锥形法”和“投影法”[ 14 ]以及F rek sa 的“双十字模型”[ 15 ]等都是针对点对象的; 而Goyal 和Egenhofer 的MBR 法则[ 16 ]依据于区域. 度量关系模型中多以点为空间基元, 定量度量关系通常使用欧氏距离来进行量算, 偶尔也采用曼哈顿距离等; 而定性度量关系则常用远、近、中等等来表示距离. 在定位时, 度量关系往往需要和方向关系进行结合.
内容来自www.nseac.com 2 时空本体的研究进展
现实世界中时间和空间是紧密联系、不可分割的. 因而, 人们日益认识到真实世界的时空模型的重要性和必要性. 目前, 有两种建立时空模型的思路, 其一是利用已有的时间模型和空间模型; 其二是试图重新建立统一的时空模型. 前者主要是在已有的时态模型的基础上添加对空间的支持能力; 或在已有的空间模型的基础上添加对时态的支持; 或者是将时态模型和空间模型作正交组合. 后者则将时空看作原子实体, 以此为基础建立新的时空统一模型. 两种思路各有千秋, 从实现难度看, 前者与现有研究基础结合比较紧密, 更易于实现; 而从理论角度看, 后者则更为完美. 总的说来, 目前从本体角度对时空关系进行研究仍处于探索阶段, 尚无十分成熟的理论和技术方法.
2. 1 主要研究趋向
目前孤立研究时间关系或空间关系的学者较多, 但是将二者结合起来, 并明确提出从本体角度研究时空关系的学者仍比较少, 主要有A UF rank, B it tner T , P ierre Grenon 等. F rank 最早开始在对时空数据库的基础本体的研究中提出了一个5 层的本体, 每层都应用不同的规则. 他把自然事实看作一个四维场模型, 构造公式a= f (x , y , z , t) 来表示一个只有唯一值的函数, 该公式表明只有唯一的时空世界[ 17 ]. 此外他还从语言学和认知角度研究了时空G IS 中的本体的一致性[ 18 ].
但也有学者认为时空本体并非是唯一的, 单一四维模型不能有效的表达现实世界的时空关系.B it tner[ 19 ]首先提出了建立两种时空本体, 即SNA Pon to logy (快照本体) 和SPAN on to logy (时段本体) , 前者认为永久的实体处于特定的时刻之中, 后者认为实体持续存在于完整的时间之中. 并且他提出了粒度的概念来分解空间和时间, 分别建立对应的本体论. Grenon[ 20 ]定义的时空本体在时空表示方面也区分了两种对象: 持续对象(Endu ran t) , 可以在给定时刻存在的物质、性质、关系、功能等; 连续对象(Perdu ran t) , 对应某个过程, 并不在某个给定时刻存在, 而是作为整体存在于一段时间之内.这两种对象分别对应E2本体和P2本体. 持续对象可以作为连续对象的组成部分, 参与连续对象对应的过程. 他还给出了时空本体的20 条公理. 在随后的工作中, Grenon 和Sm ith[ 21 ] 针对地理现实的动态性, 进一步提出一个好的本体应该既能表示同时发生的现实又能表示历史事实, 针对这两个不同的任务他们提出了用当代哲学本体中的三维和四维相结合的办法来解决, 他们建立了一个包括两个成分的形式本体SNA P 和SPAN , 一个是针对地理对象, 一个针对地理过程. SNA P 处理三维实世界, 包括它们所处的空间区域以及所有的性质、功率、功能、角色以及其他从一个时刻到下一个时刻保持一致的实体. SPAN 则适于处理包括持续实体在内的过程以及这些过程发生的时空体( spat io tempo ralvo lum es). 国内也有学者[ 22 ]将其分为TSOO (时空对象本体) 和TSPO (时空过程本体) , 其观点与Grenon 观点实质相同.
