Modelling topological and metrical properties in physical processes
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Mereotopology: a theory of parts and boundaries
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Boolean connection algebras: a new approach to the Region-Connection Calculus
Artificial Intelligence
Space, time, matter and things
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Grounding ecologies on multiple spaces
Pervasive and Mobile Computing
Hi-index | 0.00 |
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpretations and of the possible challenge of an intended interpretation arise when integrating a particular theory in pre-existing formal and ontological settings. This paper reports on an instance of this general problem of ontological engineering. The case study is that of the integration of the Region Connection Calculus for spatial reasoning in the Cyc knowledge base. We show that given the assumptions on the Cyc ontology, RCC had to be interpreted within a substantivalist metaphysic of space as a Boolean algebra of spatial regions which are distinct from their occupants. The RCC literature suggests such an intended interpretation, and this paper intends to show that this was a necessary condition of integration in Cyc's ontology. This led to the enrichment of the Cyc knowledge base, rather than to a radical modification of the upper-level ontology.