A Canonical Model of the Region Connection Calculus
From MaRDI portal
Publication:3647304
DOI10.3166/jancl.12.469-494zbMath1185.03061OpenAlexW2061100549MaRDI QIDQ3647304
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
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