Elementary polyhedral mereotopology

DOI10.1023/A:1020184007550zbMath1011.03003OpenAlexW2026576084MaRDI QIDQ1863962

Dominik Schoop, Ian Pratt-Hartmann

Publication date: 12 March 2003

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020184007550

zbMATH Keywords

spatial reasoningmereotopologytopological relationsthree-dimensional Euclidean spaceontology of spaceregion-based model of physical space

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) General topics in artificial intelligence (68T01) Generalities in topology (54A99)

Related Items (2)

Discrete Mereotopology ⋮ FULL MEREOGEOMETRIES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Individuals and points
• Minimally generated Boolean algebras
• Model theory.
• A complete axiom system for polygonal mereotopology of the real plane
• Topological queries in spatial databases
• Ontologies for plane, polygonal mereotopology
• Expressivity in polygonal, plane mereotopology
• A Complete Description of the Normal Subgroups of Genus One of the Modular Group

This page was built for publication: Elementary polyhedral mereotopology