A new perspective on the mereotopology of RCC8

DOI10.4230/LIPICS.COSIT.2017.2MaRDI QIDQ4580234zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

ontologiesspatial reasoningmereotopologyRCC8

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3831999 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• A representation theorem for Boolean contact algebras
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Partially Ordered Sets
• Properties Preserved under Definitional Equivalence and Interpretations
• Transitive Orientation of Graphs and Identification of Permutation Graphs

Cited in

(4)

• Reducible Theories and Amalgamations of Models
• Region connection calculus: Its models and composition table
• Embedding RCC8D in the collective spatial logic CSLCS
• scientific article; zbMATH DE number 1998332 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mace4
• Prover9

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)