D-SPACES: Implementing Declarative Semantics for Spatially Structured Information - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

D-SPACES: Implementing Declarative Semantics for Spatially Structured Information


We introduce in this paper D-SPACES, an implementation of constraint systems with space and extrusion operators. Constraint systems are algebraic models that allow for a semantic language-like representation of information in systems where the concept of space is a primary structural feature. We give this information mainly an epistemic interpretation and consider various agents as entities acting upon it. D-SPACES is coded as a c++11 library providing implementations for constraint systems, space functions and extrusion functions. The interfaces to access each implementation are minimal and thoroughly documented. D-SPACES also provides property-checking methods as well as an implementation of a specific type of constraint systems (a boolean algebra). This last implementation serves as an entry point for quick access and proof of concept when using these models. Furthermore, we offer an illustrative example in the form of a small social network where users post their beliefs and utter their opinions
Fichier principal
Vignette du fichier
d-spaces.pdf (283.22 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01328189 , version 1 (07-06-2016)
hal-01328189 , version 2 (15-10-2016)
hal-01328189 , version 3 (12-12-2016)
hal-01328189 , version 4 (22-12-2016)


  • HAL Id : hal-01328189 , version 4


Stefan Haar, Salim Perchy, Frank Valencia. D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. 11th International Conference on Semantic Computing , IEEE, Jan 2017, San Diego, California, United States. ⟨hal-01328189v4⟩
382 View
314 Download


Gmail Facebook X LinkedIn More