地理时空本体研究进展(6)

[ 19 ] Bittner T. Spatio-Tempo ral Onto logies. Repo rt in Wo rk shop on Geo2onto logy [ EBöOL ]. Ilk ley U K, 2002.h ttp: ööwww. comp. leeds. ac. uköB randonögeo2onto logy.
[ 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.
[ 21 ]Grenon P, Sm ith B. SNA P and SPAN: Towards Dynam ic Spatial Onto logy[J ]. Fo rthcom ing in Spatial Cognition and Computation, 2004, 4: 1.
[ 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,
Sep tember 2003 ). Sp ringer L ecture No tes in Computer Science, 2003: 1-12.
[ 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.
[ 29 ] Wo lter F, Zakharyaschev M. Q ualitative spatio-tempo ral rep resentation and reasoning: A computational perspective [ C ]ööL akemeyer G, N ebel B. Exp lo ring A rtificial Intelligence in theN ew M illenium. San F rancisco: Mo rgan Kaufmann, 2002: 175-216.
[ 30 ] M uller. Topo logical spatio-tempo ral reasoning and rep resentation [ J ]. Computational Intelligence, 2002, 18(3) : 420-450.
[ 31 ] Bennett B, Cohn G, Wo lter F, et al. M ulti-D imensional modal logic as a framewo rk fo r spatio-tempo ral reasoning [J ]. App lied Intelligence, 2002, 3 (4) : 239-251.
[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.
[ 34 ]Wo rboysM F. Computation w ith imp recise geo spatial data [ J ]. Computer, Environment and U rban System s, 1998,22 (2) : 85-106.
[ 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.