A New Perspective on the Mereotopology of RCC8.

DOI10.4230/LIPIcs.COSIT.2017.2zbMath1433.68428OpenAlexW2757110170MaRDI QIDQ4580234

Bahar Aameri, Michael Gruninger

Publication date: 13 August 2018

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

zbMATH Keywords

spatial reasoningmereotopologyontologiesRCC8

Mathematics Subject Classification ID

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

Related Items

Reducible Theories and Amalgamations of Models

Uses Software

• Prover9
• Mace4

Cites Work

• Boolean connection algebras: A new approach to the Region-Connection Calculus
• A representation theorem for Boolean contact algebras
• Properties Preserved under Definitional Equivalence and Interpretations
• Transitive Orientation of Graphs and Identification of Permutation Graphs
• Partially Ordered Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item