Mereotopology: A theory of parts and boundaries

DOI10.1016/S0169-023X(96)00015-8MaRDI QIDQ4332083zbMATH OpenWikidataFDO

Authors Barry Smith

Publication date 27 February 1997

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0169-023X(96)00015-8

zbMATH Keywords

Cognitive scienceFormal ontologyMereologyNaive physicsTopology

Mathematics Subject Classification ID

Theory of data (68P99)

Recommendations

• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Inconsistent boundaries
• On the problem of boundaries from mereology and rough mereology points of view
• A new approach to the concepts of boundary and contact: toward an alternative to mereotopology
• Mereotopological connection

Cited in

(32)

• Mereotopological connection
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Cryptomorphic topological structures: a computational, relation-algebraic approach
• To every manifest domain a CSP expression -- a rôle for mereology in computer science
• The topology of boundaries
• The qualitative structure of built environments
• On the problem of boundaries from mereology and rough mereology points of view
• Mereology and uncertainty
• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• FULL MEREOGEOMETRIES
• Mereology in engineering and computer science
• Discrete mereotopology
• Unity, identity, and topology: how to make donuts and cut things in half
• A new approach to the concepts of boundary and contact: toward an alternative to mereotopology
• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Towards an Ontology of Part-of
• scientific article; zbMATH DE number 1746651 (Why is no real title available?)
• scientific article; zbMATH DE number 1754127 (Why is no real title available?)
• Heyting mereology as a framework for spatial reasoning
• A CRITICAL NOTE ON BUNGE'S ‘SYSTEM BOUNDARY’ AND A NEW PROPOSAL
• On recognizing an object with a partition
• Actual existence predicate in mereology and mereotopology (extended abstract)
• Formal qualitative spatial augmentation of the simple feature access model
• Inconsistent boundaries
• scientific article; zbMATH DE number 269623 (Why is no real title available?)
• Boundaries, borders, fences, hedges
• The mereology of thermodynamic equilibrium
• On convergence of topological aggregation functions
• Generalized region connection calculus
• A formal theory for reasoning about parthood, connection, and location
• A comment on RCC: from RCC to RCC\(^{++}\)

This page was built for publication: Mereotopology: A theory of parts and boundaries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332083)