Spatio-temporal Ontology Construction Based on Logic Mapping

HU He,LIU Dayou,Hu Zhiyong
DOI: https://doi.org/10.3969/j.issn.1000-3428.2005.10.050
2005-01-01
Abstract: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.
What problem does this paper attempt to address?