{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:36:34Z","timestamp":1767137794116,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319068251","type":"print"},{"value":"9783319068268","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06826-8_19","type":"book-chapter","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T09:15:37Z","timestamp":1400577337000},"page":"244-260","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Model for RDF Dataset Constraints"],"prefix":"10.1007","author":[{"given":"Harold","family":"Solbrig","sequence":"first","affiliation":[]},{"given":"Eric","family":"Prud\u2019hommeaux","sequence":"additional","affiliation":[]},{"given":"Christopher G.","family":"Chute","sequence":"additional","affiliation":[]},{"given":"Jim","family":"Davies","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,21]]},"reference":[{"key":"19_CR1","unstructured":"Joint Technical Committee ISO\/IEC JTC 1. Information Technology - Z formal specification notation - Syntax, type system, and semantics (2002)"},{"key":"19_CR2","unstructured":"Carothers, G., Seaborne, A.: TriG: Rdf dataset language. World Wide Web Consortium, Last Call Working Draft 19 September 2013"},{"key":"19_CR3","unstructured":"Cyganiak, R., Wood, D.: RDF 1.1 concepts and abstract syntax. World Wide Web Consortium, Working Draft WD-rdf11-concepts-20130723, August 2013"},{"key":"19_CR4","unstructured":"Cyganiak, R., Wood, D.: RDF 1.1 concepts and abstract syntax - generalized rdf triples, graphs, and datasets. World Wide Web Consortium, Working Draft WD-rdf11-concepts-20130723, August 2013"},{"key":"19_CR5","unstructured":"Johnson, D., Speicher, S.: OSLC open services for lifecycle collaboration core specification version 2.0. OSLC Specification (web page), May 2013"},{"key":"19_CR6","unstructured":"Isaac, A., Summers, E.: SKOS simple knowledge organization system primer. World Wide Web Consortium, Note NOTE-skos-primer-20090818, August 2009"},{"key":"19_CR7","unstructured":"David, A.: Schmidt. Denotational semantics - A methodology for language development, On line image (1997)"},{"key":"19_CR8","volume-title":"The Fuzz Manual","author":"JM Spivey","year":"1988","unstructured":"Spivey, J.M.: The Fuzz Manual. Computing Science Consultancy, Oxford (1988)"},{"key":"19_CR9","unstructured":"W3C OWL Working Group. OWL 2 web ontology language \u2013 document overview (second edition). World Wide Web Consortium, Recommendation REC-owl2-overview-20121211, December 2012"},{"key":"19_CR10","unstructured":"W3C SPARQL Working Group. SPARQL 1.1 overview. World Wide Web Consortium, Recommendation REC-sparql11-overview-20130321, March 2013"},{"key":"19_CR11","volume-title":"Using Z. Specification, Refinement, and Proof","author":"J Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z. Specification, Refinement, and Proof. Prentice-Hall, Upper Saddle River (1996)"}],"container-title":["Lecture Notes in Computer Science","Semantic Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06826-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T22:43:02Z","timestamp":1703198582000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06826-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068251","9783319068268"],"references-count":11,"aliases":["10.1007\/978-3-319-14122-0_19"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06826-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"21 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}