摘 要: 时间关系的表示模型很多, 根据它们所采用的时间本体的基元不同可以大致分为两类, 即以时间点为时间基元的表示模型和以时间段为时间基元的表示模型. 在人工智能早期的研究中, 多数的工作是以时间点为时间基元的, 例如状态演算(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 ]等人.
关键词: 地理时空本体,时间本体,空间本体
时间与空间永远是人类永恒的话题, 也是一直困扰着各学科的少数共同概念之一. 对于地理学而言, 其所有的研究对象都与时间和空间密切相关.地理信息具有区域性、多维结构特征和动态变化特征. 地理信息系统的出现, 使其以地理信息世界来表达地理现实世界, 来真实、快速地模拟各种自然过程和思维过程. 传统的地理信息系统中只考虑了地物的空间特性, 忽略了其时间特性. 而在许多应用领域, 这种动态变化规律在问题的求解过程中起着十分重要的作用. 因此, 近年来对G IS 中时态特性的研究十分活跃, 即所谓“时空系统”. 时空语义对于在建立真实世界和地理信息系统的联系起极其重要的桥梁作用. 但是, 受到研究理论和技术制约, 目前对于时空G IS 的研究进展仍十分缓慢. 随着G IS 的智能化、网络化和大众化的发展必然趋势, 对G IS 理论和技术上的创新也提出了更高的要求.
为此, 将本体论作为新的理论和方法引入时空G IS 的研究中具有十分重要的意义. 代写论文由于本体技术对于地理信息科学研究的重要性以及地理信息科学中时空的重要性, 地理本体必须包含一个对于世界的全面的时空观点, 成了地理时空本体研究的重要背景. 本文介绍了时空本体的相关概念、表示模型等, 综述了目前时空本体的研究进展, 并对目前研究中存在的一些问题及发展方向进行了探讨.
1 时空本体的起源基础
本体最初为哲学概念, 是指关于存在及其本体和规律的学说, 是关于世界某个方面的一个特定的分类体系. 本体论发展到后来, 演变成了一种“借用”或“承诺”. 后来被引入人工智能领域后, 本体被认为是共享的概念模型的明确的形式化规范说明[ 1 ]. 在地理信息领域, 虽然目前还没有达成共识的地理本体的概念, 但一致认为地理本体应该包含哲学本体和信息本体的内涵.
时空地理本体的研究是建立在前人对时间本体和空间本体的大量研究成果之上的. 代写毕业论文这里简要介绍时间本体以及空间本体的基元、属性以及表示模型等.
1. 1 时间本体
心理学和哲学领域通常把时间分为3 种, 即自然时间( natu ral t im e )、习俗时间( conven t ional t im e) 和逻辑时间( logic t im e) [ 2 ]. 在人工智能领域,由于应用领域的复杂性, 需要使时间概念更加明确. 因而时间本体的建立一般是基于时间基元( tempo ral p rim it ive) 的, 时间基元的选择对于表示时间概念的时间模型尤其重要. 目前对于时间基元主要有两种对立的观点, 即时间点( in stan t s o r po in t s) 和时间段(periods o r in tervals). 有些学者认为时间基元可以同时包含二者. 此外, 也有学者并不基于纯粹的时间基元建立时间本体. 例如Moen 等人便从语言学角度出发, 研究了基于原因、结果等概念上的时间本体[ 3 ].
时间本体的属性主要涉及次序、结构和界限性等问题. 时间的次序性问题主要为: 时间流是线形、分支还是循环的? 时间的结构是密集的、离散的还是连续的? 时间是有限的还是无限的? 线性时间是最普遍的模型, 而分支模型考虑了将来可能发生的多种可能性, 循环时间可以看作是线性时间的特殊形式. 密集型时间与有理数集(Q ) 同构, 离散时间与整数集(Z) 同构, 而连续时间则与实数集(R ) 同构. 时间的无限延展可以发生在连续的线性时间和循环时间中, 却不能发展在离散的线性或分支时间里; 在时间系统里引入度量关系就可以转化为一个日历系统.
决定时间关系类型以及时间表现形式的时间约束有基于定性时间关系的和基于定量信息的, 也有将二者融合进行约束的. 定性关系主要有A llen的时间区间代数[ 4 ]、M atu szee 等人的基于时间段端点的局部信息方法[ 5 ]、F rek sa 基于邻近概念的半区间方法[ 6 ]等. 定量关系中最简单的例子是根据日期或其他准确的数值形式获得时间信息. Kau tz和L adk in[ 7 ]等人提出了把时间的定性和定量关系相结合的方法来处理不同精度时间知识的可得性.
1. 2 空间本体
对于空间本体的基元, 主要有基于点和基于区域两种选择[ 12 ]. 最初的空间数学理论中, 把点作为基本空间实体, 并用点把区域定义为点的集合. 在Q SR (定性空间表示) 中, 更趋向于把区域作为基本空间实体. 尽管本体的出现意味着为多数空间和几何概念建立新的理论, 但是多数学者仍认为区域是本体基元.
由于空间关系可以分为3 类, 即拓扑关系、方位关系和度量关系. 因而, 其表示模型可以分为拓扑模型、方向模型和度量模型. 空间拓扑模型有点集拓扑和区域拓扑两类, 影响较大的是RCC 模型[ 13 ] , 它是以区域作为空间基元的. 方向模型研究中, 使用了点和区域两种基元, 例如F rank 的“锥形法”和“投影法”[ 14 ]以及F rek sa 的“双十字模型”[ 15 ]等都是针对点对象的; 而Goyal 和Egenhofer 的MBR 法则[ 16 ]依据于区域. 度量关系模型中多以点为空间基元, 定量度量关系通常使用欧氏距离来进行量算, 偶尔也采用曼哈顿距离等; 而定性度量关系则常用远、近、中等等来表示距离. 在定位时, 度量关系往往需要和方向关系进行结合.
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 ].
