Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,587,992 papers from all fields of science
Search
Sign In
Create Free Account
Mereotopology
In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Atomic formula
Computer science
Domain of discourse
First-order logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Symbolism, Its Meaning and Effect: The Universal Algebra of Culture
Michel Weber
2016
Corpus ID: 55928044
The paper questions the meaning and significance of Whitehead's theory of symbolism from the perspective of (i) Whitehead's…
Expand
2013
2013
Soft Extension: Topological Control and Mereotopological Space Events
L. Parisi
2013
Corpus ID: 125663627
2010
2010
Mereotopological Analysis of Formal Concepts in Security Ontologies
Gonzalo A. Aranda-Corral
,
J. Borrego-Díaz
Computational Intelligence in Security for…
2010
Corpus ID: 40061869
In this paper an analysis of security ontologies, using an mereotopological interpretation of the relationship amongst their…
Expand
2005
2005
Casl Specifications of Qualitative Calculi
S. Wölfl
,
Till Mossakowski
Conference On Spatial Information Theory
2005
Corpus ID: 13444694
In AI a large number of calculi for efficient reasoning about spatial and temporal entities have been developed. The most…
Expand
Review
2004
Review
2004
Algebraization and representation of mereotopological structures
I. Düntsch
,
M. Winter
2004
Corpus ID: 18267583
Boolean contact algebras are the abstract counterpart of region–based theories of space, which date back to the early 1920s. In…
Expand
2001
2001
AAAI 2000 Workshop Reports
Y. Lespérance
,
Gerd Wagner
,
+19 authors
A. Montanari
The AI Magazine
2001
Corpus ID: 17980109
The AAAI-2000 Workshop Program was held Sunday and Monday, 3031 July 2000 at the Hyatt Regency Austin and the Austin Convention…
Expand
2001
2001
Continuous Transitions in Mereotopology
A. Cohn
,
S. Hazarika
2001
Corpus ID: 14671724
Continuity from a qualitative perspective is different from both the philosophical and mathematical view of continuity. We…
Expand
2001
2001
Towards scott domains-based topological ontology models
J. Fernández-breis
,
D. C. Nieves
,
R. Valencia-García
,
Pedro José Vivancos Vicente
,
R. Martínez-Béjar
,
M. L. Heras-González
Formal Ontology in Information Systems
2001
Corpus ID: 1277369
An ontology can be seen as an approximation to what exists in thereal world. An ontological model is the kernel used for…
Expand
1998
1998
Undecidability of Plane Polygonal Mereotopology
Christoph Dornheim
International Conference on Principles of…
1998
Corpus ID: 17594269
This paper presents a mereotopological model of polygonal regions of the Euclidean plane and an undecidability proof of its rst…
Expand
1995
1995
On the cognition of spatial boundaries: a mereotopological investigation
Barry Smith
1995
Corpus ID: 62751796
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)
ACCEPT & CONTINUE
or Only Accept Required