Document - Embedding RCC8D in the collective spatial logic CSLCS

2019

Contribution to book Open Access

Embedding RCC8D in the collective spatial logic CSLCS

Ciancia V., Latella D., Massink M.

Spatial Model-checking RCC RCC5D Closure Spaces RCC8D Spatial Logics Topochecker

Discrete mereotopology is a logical theory for the specification of qualitative spatial functions and relations defined over a discrete space, intended as a set of basic elements, the pixels, with an adjacency relation defined over it. The notions of interest are that of region, intended as an arbitrary aggregate of pixels, and of specific relations between regions. The mereotopological theory RCC8D extends the mereological theory RCC5D--a theory of region parthood for discrete spaces--with the topological notion of connection and the remaining relations (disconnection, external connection, tangential and nontangential proper parthood and their inverses). In this paper, we propose an encoding of RCC8D into CSLCS, the collective extension of the Spatial Logic of Closure Spaces SLCS. We show how topochecker, a model-checker for CSLCS, can be used for effectively checking the existence of a RCC8D relation between two given regions of a discrete space.

Source: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, edited by Michele Boreale; Flavio Corradini; Michele Loreti; Rosario Pugliese, pp. 260–277. Cham Heidelberg New York Dordrecht London: Springer, 2019

Publisher: Springer, Cham Heidelberg New York Dordrecht London, CHE

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:404052,
	title = {Embedding RCC8D in the collective spatial logic CSLCS},
	author = {Ciancia V. and Latella D. and Massink M.},
	publisher = {Springer, Cham Heidelberg New York Dordrecht London, CHE},
	doi = {10.1007/978-3-030-21485-2_15},
	booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, edited by Michele Boreale; Flavio Corradini; Michele Loreti; Rosario Pugliese, pp. 260–277. Cham Heidelberg New York Dordrecht London: Springer, 2019},
	year = {2019}
}