{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:30:21Z","timestamp":1725593421792},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223884"},{"type":"electronic","value":"9783642223891"}],"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-22389-1_45","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T00:01:55Z","timestamp":1309219315000},"page":"510-524","source":"Crossref","is-referenced-by-count":1,"title":["A New Approach Based on N\u03bcSMV Model to Query Semantic Graph"],"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":[{"issue":"4-5","key":"45_CR1","first-page":"907","volume":"43","author":"T.R. Gruber","year":"1995","unstructured":"Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. Presented at the Padua workshop on Formal Ontology, later published in International Journal of Human-Computer Studies\u00a043(4-5), 907\u2013928 (1995)","journal-title":"Presented at the Padua workshop on Formal Ontology, later published in International Journal of Human-Computer Studies"},{"key":"45_CR2","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F., Cowan, J.: Extensible Markup Language (XML) 1.1, 2nd edn W3C recommendation (2006), http:\/\/www.w3.org\/TR\/2006\/REC-xml11-20060816\/."},{"key":"45_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":"45_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":"45_CR5","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American. pp. 34\u201343 (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"45_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69850-0_1","volume-title":"25 Years of Model Checking","author":"E.M. Clarke","year":"2008","unstructured":"Clarke, E.M.: The birth of model checking. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking. LNCS, vol.\u00a05000, pp. 1\u201326. Springer, Heidelberg (2008)"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model checker, pp. 410\u2013425 (2000)","DOI":"10.1007\/s100090050046"},{"key":"45_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_34","volume-title":"Computer Aided Verification","author":"W. Chan","year":"2000","unstructured":"Chan, W.: Temporal-logicqueries. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, Springer, Heidelberg (2000)"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"Chebotko, C., Lu, S., Fotouhi, F.: Semantics preserving SPARQL-to-SQL translation. Data & Knowledge Engineering (2009)","DOI":"10.1016\/j.datak.2009.04.001"},{"key":"45_CR10","unstructured":"Klyne, J.J.C.G.: Resource Description Framework (rdf): Concepts and abstract syntax. Tech. rep., W3C (2004)"},{"key":"45_CR11","unstructured":"B\u00f6nstr\u00f6m, V., Hinze, A., Schweppe, H.: Storing RDF as a graph. In: Latin American WWW conference, Santiago, Chile (2003)"},{"key":"45_CR12","unstructured":"Berners-Lee, T.: W3C recommendation. HTTP-URI (2007), http:\/\/www.w3.org\/DesignIssues\/"},{"key":"45_CR13","unstructured":"Berners-Lee, T., Connolly, D.: Notation3 (N3): A readable RDF syntax. W3C recommendation (2008), http:\/\/www.w3.org\/TeamSubmission\/n3\/"},{"key":"45_CR14","unstructured":"Becket, D., McBride, B.: RDF test cases. W3C Working draft (2004), http:\/\/www.w3.org\/TR\/rdf-testcases\/"},{"key":"45_CR15","unstructured":"Katoen, J.P.: The principal of Model Checking. University of Twente (2002)"},{"key":"45_CR16","unstructured":"Cyganiak, R.: A relational algebra for SPARQL.Digital Media Systems Laboratory, HP Laboratories Bristol (September 2005)"},{"key":"45_CR17","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"},{"key":"45_CR18","doi-asserted-by":"crossref","unstructured":"Mukund, M.: Model Checking, Automated Verification of Computational Systems, pp. 667-681 (2009)","DOI":"10.1007\/s12045-009-0055-z"},{"key":"45_CR19","doi-asserted-by":"crossref","unstructured":"Gueffaz, M., Rampacek, S., Nicolle, C.: ScaleSem: Evaluation of semantic graph based on Model Checking. In: Webist 2011- The 7th International Conference on Web Information Systems and Technologies, Noordwijkerhout, Hollande (May 2011)","DOI":"10.1109\/INNOVATIONS.2011.5893832"},{"key":"45_CR20","unstructured":"Mateescu, R., Meriot, S., Rampacek, S.: Extending SPARQL with Temporal logic. Technical report (2009)"}],"container-title":["Communications in Computer and Information Science","Digital Information Processing and Communications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22389-1_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,27]],"date-time":"2021-11-27T00:02:34Z","timestamp":1637971354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22389-1_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223884","9783642223891"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22389-1_45","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}