Expressivity in polygonal, plane mereotopology

DOI10.2307/2586573zbMath0960.03035OpenAlexW2100960469MaRDI QIDQ4508265

Dominik Schoop, Ian Pratt

Publication date: 14 May 2001

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

Full work available at URL: https://semanticscholar.org/paper/ac4f6da8b26833a1edafa1f5cab09e076946e6fc

zbMATH Keywords

regionsexpressive powerpolygonstopological model theorypart-whole relationsmereological relationsfirst-order mereotopological languagestopological relationships between objects in space

Mathematics Subject Classification ID

Applications of model theory (03C98)

Related Items (8)

Relation algebras and their application in temporal and spatial reasoning ⋮ FULL MEREOGEOMETRIES ⋮ A Topological Constraint Language with Component Counting ⋮ A Canonical Model of the Region Connection Calculus ⋮ A proof system for contact relation algebras ⋮ A representation theorem for Boolean contact algebras ⋮ Elementary polyhedral mereotopology ⋮ POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES

Cites Work

• Individuals and points
• A calculus of individuals based on 'connection'
• A complete axiom system for polygonal mereotopology of the real plane
• Region-based topology
• Ontologies for plane, polygonal mereotopology
• Topological reasoning and the logic of knowledge
• Expressive power in first order topology
• First order topological structures and theories
• Topological Logic

This page was built for publication: Expressivity in polygonal, plane mereotopology