Research on spatio-temporal ontology based on description logic
DL,short for Description Logic,is aimed at getting a balance between describing ability and reasoning complexity.Users can adopt DL to write clear and formalized concept description for domain model,which makes ontology description possess well-defined syntax and semantics and helps to resolve the problem of spatio-temporal reasoning based on ontology.This paper studies on basic theory of DL and relationship between DL and OWL at first.By analyzing spatio-temporal concepts and relationship of spatio-temporal GIS,the purpose of this paper is adopting ontology language based on DL to express spatio-temporal ontology,and employing suitable ontology-building tool to build spatio-temporal ontology.With regard to existing spatio-temporal ontology based on first-order predicate logic,we need to transform it into spatio-temporal ontology based on DL so as to make the best of existing research fruits.This paper also makes a research on translating relationships between DL and first-order predicate logic.
Spatio-temporal ontology Spatio-temporal relationship OWL Description logic First-order predicate logic
Yongqi Huang Zhimin Ding Zhui Zhao Ouyang Fucheng
Huanggang Normal University,Huanggang,Hubei,China 100101 College of Civil Engineering and Architecture,Jiaxing University,Jiaxing,Zhejiang,China 314001 College of Life Sciences,Jiujiang University,Jiujang,Jiangx,China 332005 Guangzhou Zomay Info & Tech Co.,Ltd.Guangzhou,China,510230
国际会议
第16届国际地理信息科学与技术大会(16th International Conference on GeoInformatics and the Joint Conference)
广州
英文
2008-06-28(万方平台首次上网日期,不代表论文的发表时间)