Spatio-temporal Ontology Construction Based on Logic Mapping
Dayou Liu · Jisuanji gongcheng · 2005
Temporal and spatial reasoning remains one of the most important parts in the artificial intelligence research. With their more and more applications in the fields of GIS, spatio-temporal database, CAD/CAM etc. ontology representation of spatio-temporal information is gaining recognition these years. Currently, the construction of spatio-temporal ontology is based on FOL, and can not utilize the Web ontology language OWL; this bans its applications on the semantic Web. To address this problem, the paper investigates how to use logic mapping from FOL to description logic to represent the formalized spatio-temporal ontology, and gives the concrete the OWL spatio-temporal ontolgoy in protege environment.