License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.COSIT.2017.2
URN: urn:nbn:de:0030-drops-77571
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7757/
Go to the corresponding LIPIcs Volume Portal

Grüninger, Michael ; Aameri, Bahar

A New Perspective on the Mereotopology of RCC8

pdf-format:
LIPIcs-COSIT-2017-2.pdf (0.6 MB)

Abstract

RCC8 is a set of eight jointly exhaustive and pairwise disjoint binary relations representing mereotopological relationships between ordered pairs of individuals. Although the RCC8 relations were originally presented as defined relations of Region Connection Calculus (RCC), virtually all implementations use the RCC8 Composition Table (CT) rather than the axioms of RCC. This raises the question of which mereotopology actually underlies the RCC8 composition table. In this paper, we characterize the algebraic and mereotopological properties of the RCC8 CT based on the metalogical relationship between the first-order theory that captures the RCC8 CT and Ground Mereotopology (MT) of Casati and Varzi. In particular, we show that the RCC8 theory and MT are relatively interpretable in each other. We further show that a nonconservative extension of the RCC8 theory that captures the intended interpretation of the RCC8 relations is logically synonymous with MT, and that a conservative extension of MT is logically synonymous with the RCC8 theory. We also present a characterization of models of MT up to isomorphism, and explain how such a characterization provides insights for understanding models of the RCC8 theory.

BibTeX - Entry

@InProceedings{grninger_et_al:LIPIcs:2017:7757,
  author =	{Michael Gr{\"u}ninger and Bahar Aameri},
  title =	{{A New Perspective on the Mereotopology of RCC8}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{2:1--2:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Eliseo Clementini and Maureen Donnelly and May Yuan and Christian Kray and Paolo Fogliaroni and Andrea Ballatore},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7757},
  URN =		{urn:nbn:de:0030-drops-77571},
  doi =		{10.4230/LIPIcs.COSIT.2017.2},
  annote =	{Keywords: RCC8, mereotopology, spatial reasoning, ontologies}
}

Keywords: RCC8, mereotopology, spatial reasoning, ontologies
Collection: 13th International Conference on Spatial Information Theory (COSIT 2017)
Issue Date: 2017
Date of publication: 29.08.2017

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI