A Canonical Model of the Region Connection Calculus

DOI10.3166/jancl.12.469-494zbMath1185.03061OpenAlexW2061100549MaRDI QIDQ3647304

Jochen Renz

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.12.469-494

zbMATH Keywords

modal logictopological relationsqualitative spatial representationRCC-8spatial regions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Other applications of logic (03B80) Generalities in topology (54A99)

Related Items (10)

Querying incomplete information in RDF with SPARQL ⋮ Spatial reasoning in a fuzzy region connection calculus ⋮ Fuzzy region connection calculus: An interpretation based on closeness ⋮ Algebraic foundations for qualitative calculi and networks ⋮ Qualitative constraint satisfaction problems: an extended framework with landmarks ⋮ Realizing RCC8 networks using convex regions ⋮ Design and comparison of lattices of topological relations for spatial representation and reasoning ⋮ Collective singleton-based consistency for qualitative constraint networks: theory and practice ⋮ Combining topological and size information for spatial reasoning ⋮ Generalized region connection calculus

Cites Work

• Unnamed Item
• Individuals and points
• A calculus of individuals based on 'connection'
• A complete axiom system for polygonal mereotopology of the real plane
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• Ontologies for plane, polygonal mereotopology
• Qualitative spatial reasoning with topological information
• Expressivity in polygonal, plane mereotopology

This page was built for publication: A Canonical Model of the Region Connection Calculus