摘 要:
地理
现实的动态性早已被人们所广泛接受, 目前关于时空GIS 的研究也越来越多. 本体技术的引进, 为地理
时空研究提供了一条新途径. 从地理
时空本体的起源基础介绍了时间本体、空间本体的基元、特性、表示模型等, 综述了目前时空本体的研究进展, 总结了目前研究中存在的一些问题并展望了未来的发展方向.关键词: 地理时空本体; 时间本体; 空间本体
时间与空间永远是人类永恒的话题, 也是一直困扰着各学科的少数共同概念之
一. 对于地理学而言, 其所有的研究对象都与时间和空间密切相关.地理信息具有区域性、多维结构特征和动态变化特征. 地理信息系统的出现, 使其以地理信息世界来表达地理现实世界, 来真实、快速地模拟各种自然过程和思维过程. 传统的地理信息系统中只考虑了地物的空间特性, 忽略了其时间特性. 而在许多应用领域, 这种动态变化规律在问题的求解过程中起着十分重要的作用. 因此, 近年来对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 ]等人提出了把时间的定性和定量关系相结合的方法来处理不同精度时间知识
的可得性.时间关系的表示模型很多, 根据它们所采用的时间本体的基元不同可以大致分为两类, 即以时间点为时间基元的表示模型和以时间段为时间基元的表示模型. 在人工智能早期的研究中, 多数的工作是以时间点为时间基元的, 例如状态演算(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 ]依据于区域. 度量关系模型中多以点为空间基元, 定量度量关系通常使用欧氏距离来进行量算, 偶尔也采用曼哈顿距离等; 而定性度量关系则常用远、近、中等等来表示距离. 在定位时, 度量关系往往需要和方向关系进行结合.
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 ].历史
事实, 针对这两个不同的任务他们提出了用当代哲学本体中的三维和四维相结合的办法来解决, 他们建立了一个包括两个成分的形式本体SNA P 和SPAN , 一个是针对地理对象, 一个针对地理过程. SNA P 处理三维实世界, 包括它们所处的空间区域以及所有的性质、功率、功能、角色以及其他从一个时刻到下一个时刻保持一致的实体. SPAN 则适于处理包括持续实体在内的过程以及这些过程发生的时空体( spat io tempo ralvo lum es). 国内也有学者[ 22 ]将其分为TSOO (时空对象本体) 和TSPO (时空过程本体) , 其观点与Grenon 观点实质相同.虽然目前对于时空本体的形式化尚未取得一致性意见, 但是有一些学者提出了自己对建立时空本体的规范性要求的看法. Galton[ 23 ] 在在回顾了地理学以及地理信息科学范围内的多种现象种类后, 确定了3 个可以全面、适当处理这些现象的时空地理本体所必要条件, 一个这样的本体必须:①提供合适的表现和操作形式以适当处理基于场和基于对象的世界视点间的丰富的相互连接的网络; ②把基于场和基于对象的模型, 以及用来处理这些模型的表现形式扩展到时间领域; ③提供一种方法来发展时空范围以及范围内存在的现象的不同模型, 尤其是对于那些诸如暴风雪、洪水、野火等似乎既表现为对象性又表现为过程性的双重性的现象.
2. 2 时空本体库
由于时间与空间都属于常识范畴, 是重要的常识概念, 因此, 任何重要的上层本体都必须考虑时间和空间的问题. 目前已有的时空本体库里一般是将时间本体与空间本体分开建立. 比较大型的本体库有斯坦福
大学2. 3 研究热点
2. 3. 1时空本体建模的形式化语言与推理 PSTL 是否可判定, 仍然是未解决的问题, 但通过嵌入PSTL 到RCC8 空间逻辑, 能得到一些可判定的子系统. M u ller[ 31 ] (200
2) 把时间和空间看成同质(homogeneity) 的, 以时空区域(时空历史) 为基本实体, 在扩展A sher 的空间逻辑公理集基础上,定义了时序关系和时空约束, 建立了一阶时空逻辑模型, 并基于该逻辑提出了有关运动的推理理论.随着更易被人和机器理解的描述逻辑(DL ) 的出现与发展, Haarslev 在ALC (D) 的基础上对描述逻辑进行了扩展. 他研究了ALCRP (D ) 理论作为地理信息系统领域的知识表示和查询操作的基础, 通过具体领域和一个角色形成谓词算子的结合, 把时间推理加入了空间和术语推理中, 克服了过去ALC(D) 只能进行概念推理或只能进行空间定性推理的局限性. 并且Haarslev 还证明了ALCRP (D ) 在具体的时空领域应用中具有明显的优势[ 32 ]. 该方法后来被Sw iss 国家基金委O FES 支助的部分欧洲Know ledgeW eb 和D IP 项目所采用.
2. 3. 3时空本体的应用 由于时空问题普遍存在于各领域中, 因而时空本体的研究对于解决不同时空表示系统之间的交互、集成、共享、重用等有着重要的意义. 代写医学论文 目前, 时空本体已经引起了
生物
信息化、G IS、常识库建造以及语义W eb 领域学者的广泛关注, 并且在一些应用领域已有一些实证研究. 但是,目前对于地理时空本体的应用研究仍然处于探索阶段, 主要用于时空推理方面, 例如, Kaupp inen 和Hyv nen 等[ 42 ]建立20 世纪到2004 年的芬兰的时间区域本体, 他们使用了本体的时间序列模型来进行推理以解决与历史相关的数据库中的信息查询问题, 该方法成功
的表示了芬兰历史地理区域随时间演变的过程.3 结论与展望
总的来说, 目前对于时空地理本体的研究, 仍然处于起步阶段, 因而很多研究领域都存在亟待解决的问题.
(1) 地理时空本体基元的选择. 不同基元的选择受人们对时空现象认知的影响, 反过来, 基元的选择对于时空本体的形式化表示至关重要, 以不同基元为基础的时空本体会影响人们对世界的进一步认知以及知识的交流. 目前对于时空本体基元的选择仍未有统一看法.
(2) 地理时空本体的形式化表示以及时空本体的建立. 目前对时空本体采用的形式化工具多是基于一阶谓词逻辑的基础上的, 而使用描述逻辑定义时空本体的工作仍较少. 因此应该进一步研究时空本体的形式化方法, 建立良性的形式化时空本体, 使得所建立的时空本体更适合于人们对时空常识的理解. 此外,
如何
在建立的时空本体之间进行转化, 尤其是如何
在以不同基元为基础的时空本体之间进行转化与无缝结合也是个值得探索的问题.(3) 地理时空本体粒度的研究. 粒度的变化影响人们对地理时空的认识, 不同粒度下, 人们认知的时空范围大小与层次有所不同. 如何选择适合人们不同视点需求并且易于在G IS 中表达的粒度是值得进一步研究的课题.
(4) 地理时空本体与实际应用. 时空本体是可应用于各学科领域的顶级本体, 因此, 可以表达地理学领域与时空相关的一切地理现象. 但是, 目前对于地理时空本体的实际应用研究尚不多, 代写
工作总结
仍然处于探索阶段. 因而, 应该积极探索地理时空本体的广泛应用领域, 并建立与具体应用领域相关的推理规则, 推理模型等, 以解决领域中的实际问题.参考文献:
[1 ] Bo rst W N. Construction of Engineering Onto logies [D ].Ph thesis, U niversity of Twenty, 1997.[ 3 ]M arcMoen, M ark Steedman. Tempo ralOnto logy in N atural L anguage [C ]ööP roceedings of the 25th annual meeting on A ssociation fo r Computational L inguistics. Stanfo rd,[4 ]A llen J F. M aintaining know ledge about tempo ral intervals [J ]. Communications of the ACM , 1983, 26
(1
1) : 832-834.
[ 5 ] M atuszec D, Fmm T, F rltzson T, Overton C. Endpo int relations on tempo ral intervals [R ]. Technical Repo rt PRC- 2BS- 8810, PaohResearchCenter, Um sys Co rp, 1988.[7 ] Kautz H A , L adk in P B. Integrating metric and qualitative tempo ral reasoning [ C ]ööP roceedings of AAA I291.A naheim, CA 1991: 241-246.[ 9 ]Bruce B. A model fo r tempo ral references and its app lication m a question answering p rogram [J ]. A rtificial Intelligence,1972, 4: l-25.[ 11 ] V ila L. A n analysis of the main app roaches to tempo ral reasoning in A I[R ]. Repo rt de Recerca IIIA , 1993.[ 13 ]RandellD, Cui Z, Cohn A. A spatial logic based on regions and connection [ C ]ööN ebel B, R ich C, Swartout W.P roceedings of the Know ledge Rep resentation and Reasoning. San M ateo: Mo rgan Kaufmann, 1992: 165-176.
[ 14 ] F rank A U. Q ualitative spatial reasoning about cardinal directions [C ]ööM ark D, W h ite D. P roceedings of the 7th . A ustrian Conference on A rtificial Intelligence. Baltimo re: Mo rgan Kaufmann, 1991: 157-167.[ 16 ] Goyal R, Egenhofer M J. Cardinal D irections between Extended Spatial Objects [ EBöOL ]. 2001. h ttp: öö spatial maine. eduö～maxöRJ36. h tm l.[ 18 ]F rank A U. A L inguistically Justified P ropo sal fo r a Spatio-Tempo ral Onto logy [ EBöOL ]. the P re-COS IT Wo rk shop on Fundamental Issues in Spatial and Geograph ical Onto logy. www. comp. leeds. ac. Uköbrandonö co sit03onto logyöpo sition- papersöF rank. doc[ 20 ] Grenon P. The Fo rmal Onto logy of Spatio2Tempo ral Reality and its Fo rmalization, AAA I Technical Repo rt Series [ C ]öö2003 AAA I Sp ring Sympo sium on the Foundations and App lications of Spatio-Tempo ral Reasoning. Stanfo rd U niversity in Palo A lto, Califo rnia.[ 22 ] W ei Xu, Yong Q in, Hou2kuan Huang. Sp tio-Tempo ral Onto logy O riented to Geograph ic Info rmation System [C ]ööP roceedings of the Th ird International Conference on
M ach ine L earning and Cybernetics. Shanghai, 26～29 A ugust 2004.
[ 23 ] A ntony Galton. Desiderata fo r a Spatio2tempo ral Geo-onto logy [C ]ööKuhnW , Wo rboysM F, T impf S. Spatial Info rmation Theo ry: Foundations of Geograph ic Info rmation Science ( P roceedings of International Conference COS IT 2003, Kartause Ittingen, Sw itzerland,[ 24 ] P ro tégé[EBöOL ]. h ttp: ööp ro tege. stanfo rd. eduöp luginsö ow lö ow l2libraryö index. h tm l
[ 25 ]The CYC P ro ject [EBöO L ]. h ttp: ööwww. cyc. comö
[ 26 ]IEEE Standard Upper Onto logyWo rk ing Group [EBöO L ]. h ttp: öö suo. ieee. o rgö
[ 27 ] 胡 鹤. 本体方法及其时空推理应用研究[D ]. 长春: 吉林大学, 2004.
[ 28 ] Wo lter F, Zakharyaschev F. Spatio-Tempo ral rep resentation and reasoning based on RCC28[C ]ööCohn AG, Giunch iglia F, Selman B. P roceddings of the 7th Conference on P rincip les of Know ledge Rep resentation and Reasoning. Breckenridge: Mo rgan Kaufmann, 2000: 3-14.[ 30 ] M uller. Topo logical spatio-tempo ral reasoning and rep resentation [ J ]. Computational Intelligence, 2002, 18
(3) : 420-450.[32 ]Haarslev V , L utz C, M ller R. A Descrip tion Logic w ith Concrete Domains and a Ro lefo rm ing P redicate Operato r [J ]. Journal of Logic and Computation, 1999, 9
(3) : 351-384.
[ 33 ] Bettini C, De Sibi R. Symbo lic Rep resentation of U ser-Defined T ime Granularities[J ]. A nnals ofM athematics andA rtificial Intelligence, 2001, 30: 1-4.[ 35 ] Bittner T, Stell J. Rough sets in App roximate spatial reasoning [ C ]ööP roceedings of RSCTC’2000. Berlin-Heidelberg Sp ringer2V erlag, 2000: 145-156.
[ 36 ]Bittner T. App roximate qualitative tempo ral reasoning[J ].AAA I, 2000: 200-215.
[ 37 ] John G Stell. Q ualitative extents fo r spatio-tempo ral granularity[J ]. Spatial Cognition and Computation, 2003,3 (2ö
3) : 119-136.[ 39 ] Bittner T, Sm ith B. A taxonomy of granular partitions [ C ]öö In Montello, D R. Spatial Info rmation Theo ry: Foundations of Geograph ic Info rmation Science, vo lume2205 of L ecture No tes in Computer Science. Berlin: Sp ringer-V erlag, 2001.
[ 40 ]Bittner T, Sm ith B. Granular Spatio2Tempo ral Onto logies [ C ]öö2003 AAA I Sympo sium: Foundations and App lications of Spatio2Tempo ral Reasoning ( FA STR ). AAA I P ress, 2003: 12-17.[ 42 ]Tom i Kaupp inen, Eero Hyv nen. Modeling and Reasoning about Changes in Onto logy T ime Series[EBöO L ]. h ttp: ööwww. cs. helsink i. fiöuöeahyvoneöpublicationsö2005ök luwer05. pdf.