When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.COSIT.2017.1
URN: urn:nbn:de:0030-drops-77651
Go to the corresponding LIPIcs Volume Portal

Sindoni, Giulia ; Stell, John G.

The Logic of Discrete Qualitative Relations

LIPIcs-COSIT-2017-1.pdf (0.6 MB)


We consider a modal logic based on mathematical morphology which allows the expression of mereotopological relations between subgraphs in the setting of the discrete space. A specific form of topological closure for graphs can be expressed in the logic, as a combination of the negation and its bi-intuitionistic dual, as well as a modality, using the stable relation Q, which describes the incidence structure of the graph. By working in this context we have been able to define qualitative spatial relations between discrete regions, and to compare them with earlier works in mereotopology, both in the discrete and in the continuous space.

BibTeX - Entry

  author =	{Giulia Sindoni and John G. Stell},
  title =	{{The Logic of Discrete Qualitative Relations}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{1:1--1:15},
  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 =		{},
  URN =		{urn:nbn:de:0030-drops-77651},
  doi =		{10.4230/LIPIcs.COSIT.2017.1},
  annote =	{Keywords: modal logic, qualitative spatial reasoning, discrete space}

Keywords: modal logic, qualitative spatial reasoning, discrete space
Seminar: 13th International Conference on Spatial Information Theory (COSIT 2017)
Issue Date: 2017
Date of publication: 24.08.2017

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