Skip to search formSkip to main contentSkip to account menu

Mereotopology

In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The paper questions the meaning and significance of Whitehead's theory of symbolism from the perspective of (i) Whitehead's… 
2010
2010
In this paper an analysis of security ontologies, using an mereotopological interpretation of the relationship amongst their… 
2005
2005
In AI a large number of calculi for efficient reasoning about spatial and temporal entities have been developed. The most… 
Review
2004
Review
2004
Boolean contact algebras are the abstract counterpart of region–based theories of space, which date back to the early 1920s. In… 
2001
2001
The AAAI-2000 Workshop Program was held Sunday and Monday, 3031 July 2000 at the Hyatt Regency Austin and the Austin Convention… 
2001
2001
Continuity from a qualitative perspective is different from both the philosophical and mathematical view of continuity. We… 
2001
2001
An ontology can be seen as an approximation to what exists in thereal world. An ontological model is the kernel used for… 
1998
1998
This paper presents a mereotopological model of polygonal regions of the Euclidean plane and an undecidability proof of its rst…