Formal Representation of Spatial Properties of Geographic Ontology
Maojun Huang
Abstract
Maojun Huang
Abstract
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.
OpenAlex reports 5 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Mereology, Axiom, Formal ontology, Ontology, Representation (politics), Computer science, Spatial relation, Construct (python library)