Formal Representation of Spatial Properties of Geographic Ontology

This paper proposes to construct some formal axioms about spatial properties and spatial relations with the help of three theoretical tools, mereology, location theory and topology, then adds these new axioms to the OWL axioms to build geographic ontology which can represent its spatial properties. The tests prove that the formal representation mechanism is feasible and can describe spatial properties of geographic ontology effectively.