Research on spatio-temporal ontology based on description logic
Yongqi Huang, Zhimin Ding, Zhui Zhao, Fucheng Ouyang · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2008
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.