{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T16:10:37Z","timestamp":1776442237011,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642220265","type":"print"},{"value":"9783642220272","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22027-2_49","type":"book-chapter","created":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T18:13:01Z","timestamp":1308334381000},"page":"591-598","source":"Crossref","is-referenced-by-count":2,"title":["RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker"],"prefix":"10.1007","author":[{"given":"Mahdi","family":"Gueffaz","sequence":"first","affiliation":[]},{"given":"Sylvain","family":"Rampacek","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Nicolle","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"49_CR1","doi-asserted-by":"crossref","unstructured":"Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. In: Presented at the Padua workshop on Formal Ontology, vol.\u00a043(4-5), pp. 907\u2013928 (November 1995); later published in International Journal of Human-Computer Studies (March 1993)","DOI":"10.1006\/ijhc.1995.1081"},{"key":"49_CR2","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C. M., Maler, E., Yergeau, F., Cowan, J.: Extensible Markup Language (XML) 1.1 (second edition) W3C recommendation (2006), http:\/\/www.w3.org\/TR\/2006\/REC-xml11-20060816\/"},{"key":"49_CR3","unstructured":"Bechhofer, S., van Harmelen, F., Hendler J., Horrocks, I., McGuinness, D., Patel-Schneijder, P., Andrea Stein, L.: OWL Web Ontology Language Reference, World Wide Web Consortium (W3C) (2004), http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"49_CR4","unstructured":"Becket, D., McBride, B.: RDF\/ XML Syntax Specification (Revised). W3C recommendation (2004), http:\/\/www.w3.org\/TR\/2004\/REC-rdf-syntax-grammar-20040210\/"},{"key":"49_CR5","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American, 34\u201343 (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"49_CR6","unstructured":"IFC Model, Industrial Foundation classes, International Alliance for interoperability (2008), http:\/\/www.buildingsmart.com\/"},{"key":"49_CR7","doi-asserted-by":"crossref","unstructured":"Vanland, R., Nicolle, C., Cruz, C.: IFC and Buildings Lifecycle Management. Journal of Automation in Construction (2008)","DOI":"10.1016\/j.autcon.2008.05.001"},{"key":"49_CR8","volume-title":"Principles of the SPIN Model Checker","author":"M. Ben-Ari","year":"2008","unstructured":"Ben-Ari, M.: Principles of the SPIN Model Checker. Springer, Heidelberg (2008); ISBN: 978-1-84628-769-5"},{"key":"49_CR9","unstructured":"Klyne, J.J.C.G.: Resource Description Framework (rdf): Concepts and abstract syntax. Tech. rep., W3C (2004)"},{"key":"49_CR10","doi-asserted-by":"crossref","unstructured":"B\u00f6nstr\u00f6m, V., Hinze, A., Schweppe, H.: Storing RDF as a graph. In: Latin American WWW conference, Santiago, Chile. (2003)","DOI":"10.1109\/LAWEB.2003.1250279"},{"key":"49_CR11","unstructured":"Berners-Lee, T. W3C recommandation (2007), http:\/\/www.w3.org\/DesignIssues\/HTTP-URI"},{"key":"49_CR12","unstructured":"Berners-Lee, T., Connolly, D.: Notation3 (N3): A readable RDF syntax. W3C recommendation (2008), http:\/\/www.w3.org\/TeamSubmission\/n3\/"},{"key":"49_CR13","unstructured":"Becket, D., McBride, B.: RDF test cases. W3C Working draft (2004), http:\/\/www.w3.org\/TR\/rdf-testcases\/"},{"key":"49_CR14","unstructured":"Katoen, J.P.: The principal of Model Checking. University of Twente (2002)"},{"key":"49_CR15","unstructured":"Gueffaz, M., Rampacek, S., Nicolle, C.: SCALESEM: Evaluation of Semantic graph based on Model Checking. The 7th International Conference on Web Information Systems and Technologies, WEBIST. Noordwijkerhout, Hollande (May 2011)"},{"key":"49_CR16","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. 18th IEEE Symp. Foundations of Computer Science (FOCS 1977), Providence, RI, USA, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"}],"container-title":["Communications in Computer and Information Science","Digital Information and Communication Technology and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22027-2_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T21:02:05Z","timestamp":1560286925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22027-2_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642220265","9783642220272"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22027-2_49","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}