{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:32:49Z","timestamp":1761611569048,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642192104"},{"type":"electronic","value":"9783642192111"}],"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-19211-1_13","type":"book-chapter","created":{"date-parts":[[2011,2,16]],"date-time":"2011-02-16T12:54:22Z","timestamp":1297860862000},"page":"205-219","source":"Crossref","is-referenced-by-count":0,"title":["Ontologies and Coherence Spaces"],"prefix":"10.1007","author":[{"given":"V. M.","family":"Abrusci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Romano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Fouquer\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logics Handbook: Theory, Implementation and Applications","year":"2003","key":"13_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logics Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"13_CR2","unstructured":"Berners-Lee, T., Connolly, D., et al: PIM ontology, \n                  \n                    http:\/\/www.w3.org\/2000\/10\/swap\/pim\/contact"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web, Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"13_CR4","unstructured":"Brickley, D., Miller, L.: The Friend Of A Friend (FOAF) Project, \n                  \n                    http:\/\/www.foaf-project.org\/"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y.: Locus solum: from the rules of logic to the logic of rules. Mathematical Structures in Computer Science, 301\u2013506 (2001)","DOI":"10.1017\/S096012950100336X"},{"key":"13_CR7","volume-title":"Proofs and Types","author":"J.-Y. Girard","year":"1989","unstructured":"Girard, J.-Y., Lafont, Y., Taylor, P.: Proofs and Types. Cambridge University Press, Cambridge (1989)"},{"issue":"5-6","key":"13_CR8","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"T. Gruber","year":"1995","unstructured":"Gruber, T.: Towards principles for the design of ontologies used for knowledge sharing. Int\u2019l Journal of Human and Computer Studies\u00a043(5-6), 907\u2013928 (1995)","journal-title":"Int\u2019l Journal of Human and Computer Studies"},{"key":"13_CR9","unstructured":"Vander-Wal, T.: Folksonomy (2007), \n                  \n                    http:\/\/vanderwal.net\/folksonomy.html"}],"container-title":["Lecture Notes in Computer Science","Ludics, Dialogue and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19211-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T04:02:53Z","timestamp":1558411373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19211-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642192104","9783642192111"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19211-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}