D-SPACES: Implementing Declarative Semantics for Spatially Structured Information

Stefan Haar 1, 2 Salim Perchy 3 Frank Valencia 3, 4
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : 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
Type de document :
Communication dans un congrès
11th International Conference on Semantic Computing , Jan 2017, San Diego, California, United States. 11, 2017, IEEE ICSC 2017. <http://icsc.eecs.uci.edu/2017/>
Liste complète des métadonnées


https://hal.inria.fr/hal-01328189
Contributeur : Salim Perchy <>
Soumis le : jeudi 22 décembre 2016 - 21:50:28
Dernière modification le : jeudi 15 juin 2017 - 09:09:01

Fichier

d-spaces.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01328189, version 4

Citation

Stefan Haar, Salim Perchy, Frank Valencia. D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. 11th International Conference on Semantic Computing , Jan 2017, San Diego, California, United States. 11, 2017, IEEE ICSC 2017. <http://icsc.eecs.uci.edu/2017/>. <hal-01328189v4>

Partager

Métriques

Consultations de
la notice

230

Téléchargements du document

68