{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T11:26:16Z","timestamp":1692703576409},"reference-count":16,"publisher":"International Academy Publishing (IAP)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.7.7.1462-1472","type":"journal-article","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T11:13:35Z","timestamp":1344856415000},"source":"Crossref","is-referenced-by-count":4,"title":["Temporal Logic To Query Semantic Graphs Using The Model Checking Method"],"prefix":"10.17706","volume":"7","author":[{"given":"Mahdi","family":"Gueffaz","sequence":"first","affiliation":[]},{"given":"Sylvain","family":"Rampacek","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Nicolle","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2012,7,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0501-34"},{"key":"ref2","article-title":"E. Prud'Hommeaux, R. R. Swick. Annotea: An Open RDF Infrastructure for Shared Web Annotations","volume-title":"Proc. of the WWW 10th International Conference","author":"Kahan","year":"2001"},{"key":"ref3","volume-title":"The princiapl of Model Checking.","author":"Katoen","year":"2002"},{"key":"ref4","first-page":"46","volume-title":"18th IEEE Symp. Foundations of Computer Science (FOCS\u201977)","author":"Pnueli","year":"1977"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/10722167_34","article-title":"Temporal-Logic Queries","volume-title":"Proc. 12th Conf. Computer Aided Verification (CAV \u201900)","author":"Chan","year":"2000"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48005-6_28","article-title":"TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web.","volume-title":"Proc. of the 1th ISWC","author":"Sintek","year":"2002"},{"key":"ref7","volume-title":"Model Checking.","author":"Clarke","year":"1999"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11494-7_22"},{"key":"ref10","first-page":"73","volume-title":"On solving temporal logic queries.","volume":"2422","author":"Hornus","year":"2002"},{"key":"ref11","volume-title":"Principles of the SPIN Model Checker.","author":"Ben-Ari","year":"2008"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref13","first-page":"878","volume-title":"SPARQL++ for Mapping Between RDF Vocabularies. On the Move to Meaningful Internet Systems 2007: CoopIS","author":"Polleres","year":"2007"},{"key":"ref14","volume-title":"Mapping Relational Data to RDF with Virtuoso\u2019s RDF Views, 2007.","author":"Blakeley","year":"2007"},{"key":"ref15","first-page":"145","volume-title":"SPARQLeR","author":"Kochut","year":"2007"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2009.02.002"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T18:47:39Z","timestamp":1497984459000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/7851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,1]]},"references-count":16,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2012,7,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.7.7.1462-1472","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,7,1]]}}}