A comment on RCC: from RCC to RCC\(^{++}\)

DOI10.1007/s10992-007-9074-yzbMath1151.03005OpenAlexW1971144975MaRDI QIDQ939056

Tiansi Dong

Publication date: 20 August 2008

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-007-9074-y

zbMATH Keywords

spatial representationRegion Connection Calculusconnection relationregion categorytopological relations between regions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Foundations of classical theories (including reverse mathematics) (03B30)

Cites Work

• Individuals and points
• Qualitative representation of spatial knowledge
• Mereotopological connection
• Mereotopology: A theory of parts and boundaries

This page was built for publication: A comment on RCC: from RCC to RCC\(^{++}\)