{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T08:14:41Z","timestamp":1766391281425,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031666759"},{"type":"electronic","value":"9783031666766"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-66676-6_9","type":"book-chapter","created":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:04:18Z","timestamp":1725451458000},"page":"175-194","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Consistent Alignments for\u00a0Simple Ontologies in\u00a0the\u00a0Digital Information Supply Chain"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4775-4622","authenticated-orcid":false,"given":"Michael R.","family":"Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7410-0616","authenticated-orcid":false,"given":"Xianhao","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1715-4597","authenticated-orcid":false,"given":"Jesper","family":"Grode","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,4]]},"reference":[{"key":"9_CR1","unstructured":"Bento, A., Zouaq A., Gagnon, M.: Ontology matching using convolutional neural networks. In: 12th Language Resources and Evaluation Conference, pp 5648\u20135653. European Language Resources Association (2020)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08766-4","volume-title":"The Vienna Development Method: The Meta-Language","year":"1978","unstructured":"Bj\u00f8rner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. LNCS, vol. 61. Springer, Heidelberg (1978). https:\/\/doi.org\/10.1007\/3-540-08766-4"},{"key":"9_CR3","unstructured":"Bulygin, L., Stupnikov, S.A.: Applying of machine learning techniques to combine string-based, language-based and structure-based similarity measures for ontology matching. In: International Conference on Data Analytics and Management in Data Intensive Domains, pp. 129\u2013147 (2019)"},{"key":"9_CR4","unstructured":"Circular Product Data Protocol. https:\/\/www.circulardataprotocol.org"},{"key":"9_CR5","unstructured":"Digital Product Passport. https:\/\/hadea.ec.europa.eu\/calls-proposals\/digital-product-passport_en"},{"issue":"3","key":"9_CR6","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"WF Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. J. Logic Program. 1(3), 267\u2013284 (1984). https:\/\/doi.org\/10.1016\/0743-1066(84)90014-1","journal-title":"J. Logic Program."},{"key":"9_CR7","unstructured":"ECLASS Homepage. https:\/\/eclass.eu\/"},{"key":"9_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38721-0","volume-title":"Ontology Matching","author":"J Euzenat","year":"2013","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching, 2nd edn. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38721-0","edition":"2"},{"key":"9_CR9","unstructured":"Faria, D., Pesquita, C., Santos, E., Couto, F.M.: Agreement maker light results for OAEI 2010. In: 5th International Workshop on Ontology Matching (OM-2010) at the ISWC, pp. 104\u2013111 (2010)"},{"key":"9_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626975","volume-title":"Modelling Systems: Practical Tools and Techniques in Software Development","author":"J Fitzgerald","year":"2009","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems: Practical Tools and Techniques in Software Development, 2nd edn. Cambridge University Press, Cambridge (2009). https:\/\/doi.org\/10.1017\/CBO9780511626975","edition":"2"},{"key":"9_CR11","volume-title":"The RAISE Specification Language","author":"C George","year":"1992","unstructured":"George, C., et al.: The RAISE Specification Language. Prentice Hall International, Upper Saddle River (1992)"},{"key":"9_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139093996","volume-title":"Functional Programming using F#","author":"MR Hansen","year":"2013","unstructured":"Hansen, M.R., Rischel, H.: Functional Programming using F#. Cambridge University Press, Cambridge (2013). https:\/\/doi.org\/10.1017\/CBO9781139093996"},{"key":"9_CR13","doi-asserted-by":"publisher","unstructured":"Jim\u00e9nez-Ruiz, G., Grau, G.B., Horrocks, Y.: LogMap: logic-based and scalable ontology matching. In: 10th International Semantic Web Conference, pp. 273\u2013288 (2011). https:\/\/doi.org\/10.1007\/978-3-642-25073-6_18","DOI":"10.1007\/978-3-642-25073-6_18"},{"key":"9_CR14","volume-title":"Systematic Software Development Using VDM","author":"CB Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development Using VDM, 2nd edn. Prentice Hall International, Upper Saddle River (1990)","edition":"2"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1668862.1668864","volume":"35","author":"PG Larsen","year":"2010","unstructured":"Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative integrating tools for VDM. ACM SIGSOFT Softw. Eng. Notes 35(1), 1\u20136 (2010). https:\/\/doi.org\/10.1145\/1668862.1668864","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BFb0055040","volume-title":"Automata, Languages and Programming","author":"X Liu","year":"1998","unstructured":"Liu, X., Smolka, S.A.: Simple linear-time algorithms for minimal fixed points. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 53\u201366. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0055040"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.websem.2016.09.002","volume":"41","author":"D Ngo","year":"2016","unstructured":"Ngo, D., Bellahsene, Z.: Overview of YAM++(not) Yet Another Matcher for ontology alignment task. J. Web Semant. 41, 30\u201349 (2016). https:\/\/doi.org\/10.1016\/j.websem.2016.09.002","journal-title":"J. Web Semant."},{"key":"9_CR18","unstructured":"Ontology Alignment Evaluation Initiative. http:\/\/oaei.ontologymatching.org\/"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/SW-223085","volume":"1","author":"J Portisch","year":"2022","unstructured":"Portisch, J., Hladik, M., Paulheim, H.: Background knowledge in ontology matching: a survey. J. Semant. Web 1, 1\u201355 (2022). https:\/\/doi.org\/10.3233\/SW-223085","journal-title":"J. Semant. Web"},{"key":"9_CR20","unstructured":"Sustainability Assessments Standards Board. https:\/\/sasb.org"},{"key":"9_CR21","doi-asserted-by":"publisher","unstructured":"Syme, D.: The early history of F#. ACM Program. Lang. 4(HOPL), 75 (2020). https:\/\/doi.org\/10.1145\/3386325","DOI":"10.1145\/3386325"},{"key":"9_CR22","unstructured":"UNSPSC Homepage. https:\/\/www.unspsc.org\/"},{"key":"9_CR23","unstructured":"United Nations Sustainable Development Goals. https:\/\/sdgs.un.org\/goals"}],"container-title":["Lecture Notes in Computer Science","The Practice of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66676-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:06:06Z","timestamp":1725451566000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66676-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031666759","9783031666766"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66676-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"4 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}