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)

Related topics

Related topics

12 relations
Atomic formulaComputer scienceDomain of discourseFirst-order logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Journal of Logic, Language and Information
The Journal of Logic, Language and Information explores the foundations of natural, formal, and programming languages, as well as… 
Review
2009
Review
2009
Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes
Theoretical work on Qualitative Spatial Reasoning (QSR) is abundant, but the actual requirements of practical applications have… 
Highly Cited
2008
Highly Cited
2008
Mereotopological assembly joint information representation for collaborative product design
2008
2008
The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology
Abstract In this paper we propose a spatial ontology for reasoning about holes, rigid objects and a string, taking a classical… 
2003
2003
Computation and Hypercomputation
Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical… 
2001
2001
A Necessary Relation Algebra for Mereotopology
The standard model for mereotopological structures are Boolean subalgebras of the complete Boolean algebra of regular closed… 
2000
2000
Expressivity in polygonal, plane mereotopology
Abstract In recent years, there has been renewed interest in the development of formal languages for describing mereological… 
Highly Cited
1999
Highly Cited
1999
Relations Algebras in Qualitative Spatial Reasoning
The formalization of the “part - of” relationship goes back to the mereology of S. Lesniewski, subsequently taken up by Leonard… 
1998
1998
Undecidability of Plane Polygonal Mereotopology
This paper presents a mereotopological model of polygonal regions of the Euclidean plane and an undecidability proof of its rst… 
Highly Cited
1998
Highly Cited
1998
Connection Relations in Mereotopology
We provide a model-theoretic framework for inves- tigating and comparing a variety of mereotopological theories with respect to… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)