Search Results

Documents authored by Sindoni, Giulia


Document
The Logic of Discrete Qualitative Relations

Authors: Giulia Sindoni and John G. Stell

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)


Abstract
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.

Cite as

Giulia Sindoni and John G. Stell. The Logic of Discrete Qualitative Relations. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 1:1-1:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@InProceedings{sindoni_et_al:LIPIcs.COSIT.2017.1,
  author =	{Sindoni, Giulia and Stell, John G.},
  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 =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.1},
  URN =		{urn:nbn:de:0030-drops-77651},
  doi =		{10.4230/LIPIcs.COSIT.2017.1},
  annote =	{Keywords: modal logic, qualitative spatial reasoning, discrete space}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail