A new perspective on the mereotopology of RCC8

DOI10.4230/LIPICS.COSIT.2017.2zbMATH Open1433.68428OpenAlexW2757110170MaRDI QIDQ4580234FDOQ4580234

Authors: Michael Gruninger, Bahar Aameri 

Publication date: 13 August 2018

Full work available at URL: https://dblp.uni-trier.de/db/conf/cosit/cosit2017.html#GruningerA17

Recommendations

• scientific article; zbMATH DE number 1998332
• A relation-algebraic approach to the region connection calculus
• A necessary relation algebra for mereotopology
• A comment on RCC: from RCC to RCC\(^{++}\)
• `Being a manifold' as the topological primitive of mereotopology

zbMATH Keywords

ontologiesspatial reasoningmereotopologyRCC8

Mathematics Subject Classification ID

Knowledge representation (68T30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Cites Work

• Title not available (Why is that?)
• Transitive Orientation of Graphs and Identification of Permutation Graphs
• Title not available (Why is that?)
• Partially Ordered Sets
• Title not available (Why is that?)
• A representation theorem for Boolean contact algebras
• Properties Preserved under Definitional Equivalence and Interpretations
• Boolean connection algebras: A new approach to the Region-Connection Calculus

Cited In (4)

• Region connection calculus: Its models and composition table
• Embedding RCC8D in the collective spatial logic CSLCS
• Title not available (Why is that?)
• Reducible Theories and Amalgamations of Models

Uses Software

• Prover9
• Mace4

This page was built for publication: A new perspective on the mereotopology of RCC8

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