A Spatio-Temporal Ontology for Geographic Information Integration

Download Edit this record How to cite View on PhilPapers
This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online.
PhilPapers/Archive ID
Upload history
Archival date: 2017-10-30
View other versions
Added to PP index

Total views
353 ( #19,072 of 64,189 )

Recent downloads (6 months)
72 ( #9,497 of 64,189 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.