{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T03:40:21Z","timestamp":1719718821646},"reference-count":7,"publisher":"World Scientific Pub Co Pte Ltd","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Semantic Computing"],"published-print":{"date-parts":[[2017,12]]},"abstract":"<jats:p>We study the applicability of declarative models to encode and describe structured information by means of semantics. Specifically, we introduce 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 mainly give this information an epistemic or temporal interpretation and consider various agents as entities acting upon it. D-SPACES is coded as a c++ library providing implementations of 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. Finally, we show the applicability of this framework with two examples; a scenario in the form of a social network where users post their beliefs and utter their opinions, and a semantical interpretation of a logical language to express time behaviors and properties.<\/jats:p>","DOI":"10.1142\/s1793351x17400189","type":"journal-article","created":{"date-parts":[[2017,12,26]],"date-time":"2017-12-26T06:07:27Z","timestamp":1514268447000},"page":"451-472","source":"Crossref","is-referenced-by-count":1,"title":["Declarative Framework for Semantical Interpretations of Structured Information \u2014 An Applicative Approach"],"prefix":"10.1142","volume":"11","author":[{"given":"Stefan","family":"Haar","sequence":"first","affiliation":[{"name":"LSV, \u00c9cole Normale Sup\u00e9rieure de Cachan, 61 Avenue du Pr\u00e9sident Wilson, Cachan, \u00cele-de-France 94235, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salim","family":"Perchy","sequence":"additional","affiliation":[{"name":"Loria, INRIA Grand-Est, 615 rue du Jardin Botanique, Villers-l\u00e8s-Nancy, Meurthe-et-Moselle 54600, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Valencia","sequence":"additional","affiliation":[{"name":"LIX, \u00c9cole Polytechnique de Paris, 1 rue Honor\u00e9 d\u2019Estienne d\u2019Orves, Palaiseau, \u00cele-de-France, 91120, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2017,12,25]]},"reference":[{"key":"S1793351X17400189BIB003","volume-title":"Modal Logic","author":"Blackburn Patrick","year":"2002"},{"key":"S1793351X17400189BIB008","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"S1793351X17400189BIB009","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin Ronald","year":"1995","edition":"4"},{"key":"S1793351X17400189BIB010","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.09.001"},{"key":"S1793351X17400189BIB013","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Manna Zohar","year":"2012"},{"key":"S1793351X17400189BIB016","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Pnueli Amir","year":"1992"},{"key":"S1793351X17400189BIB020","volume-title":"Topology via Logic","author":"Vickers Steven","year":"1996"}],"container-title":["International Journal of Semantic Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1793351X17400189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T03:02:19Z","timestamp":1719716539000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S1793351X17400189"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":7,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2017,12,25]]},"published-print":{"date-parts":[[2017,12]]}},"alternative-id":["10.1142\/S1793351X17400189"],"URL":"https:\/\/doi.org\/10.1142\/s1793351x17400189","relation":{},"ISSN":["1793-351X","1793-7108"],"issn-type":[{"value":"1793-351X","type":"print"},{"value":"1793-7108","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12]]}}}