Sindoni, G and Stell, JG (2017) The Logic of Discrete Qualitative Relations. In: Clementini, E, Donnelly, M, Yuan, M, Kray, C, Fogliaroni, P and Ballatore, A, (eds.) LIPIcs : Leibniz International Proceedings in Informatics. 13th International Conference on Spatial Information Theory (COSIT2017), 04-08 Sep 2017, L’Aquila, Italy. Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik ISBN 978-3-95977-043-9
Abstract
We consider a modal logic based on mathematical morphology which allows the expression of mereotopological relations between subgraphs. A specific form of topological closure between graphs is expressible in this logic, both as a combination of the negation ¬ and its dual , and as modality, using the stable relation Q, which describes the incidence structure of the graph. This allows 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.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © Giulia Sindoni and John G. Stell; licensed under Creative Commons License CC-BY. |
Keywords: | Modal logic; Qualitative spatial reasoning; Discrete space |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 19 Jun 2017 12:13 |
Last Modified: | 17 Nov 2017 14:11 |
Status: | Published |
Publisher: | Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik |
Identification Number: | 10.4230/LIPIcs.COSIT.2017.1 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:117848 |