{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:34:39Z","timestamp":1784572479015,"version":"3.55.0"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031197611","type":"print"},{"value":"9783031197628","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19762-8_6","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T08:03:09Z","timestamp":1666166589000},"page":"71-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Digital Twin Reconfiguration Using Asset Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0996-2543","authenticated-orcid":false,"given":"Eduard","family":"Kamburjan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1925-5911","authenticated-orcid":false,"given":"Vidar Norstein","family":"Klungre","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5601-5517","authenticated-orcid":false,"given":"Rudolf","family":"Schlatte","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9948-2748","authenticated-orcid":false,"given":"S. Lizeth Tapia","family":"Tarifa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1172-478X","authenticated-orcid":false,"given":"David","family":"Cameron","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Anderl, R., Haag, S., Sch\u00fctzer, K., Zancul, E.: Digital twin technology - an approach for Industrie 4.0 vertical and horizontal lifecycle integration. IT Inf. Technol. 60(3), 125\u2013132 (2018)","DOI":"10.1515\/itit-2017-0038"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Dalal, R., Mittal, S., Joshi, K.P.: Generating digital twin models using knowledge graphs for industrial production lines. In: Proceedings Web Science Conference (WebSci 2017), pp. 425\u2013430. ACM (2017)","DOI":"10.1145\/3091478.3162383"},{"issue":"6","key":"6_CR3","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1002\/sys.21559","volume":"23","author":"J Bickford","year":"2020","unstructured":"Bickford, J., Van Bossuyt, D.L., Beery, P., Pollman, A.: Operationalizing digital twins through model-based systems engineering methods. Syst. Eng. 23(6), 724\u2013750 (2020)","journal-title":"Syst. Eng."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Blochwitz, T.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: Modelica Conference, pp. 173\u2013184. The Modelica Association (2012)","DOI":"10.3384\/ecp12076173"},{"key":"6_CR5","series-title":"Structural Integrity","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-030-82430-3_2","volume-title":"Industry 4.0 for the Built Environment","author":"M Bolpagni","year":"2022","unstructured":"Bolpagni, M.: Building information modelling and information management. In: Bolpagni, M., Gavina, R., Ribeiro, D. (eds.) Industry 4.0 for the Built Environment. SI, vol. 20, pp. 29\u201354. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-82430-3_2"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Cameron, D.B., Waaler, A., Komulainen, T.M.: Oil and gas digital twins after twenty years. How can they be made sustainable, maintainable and useful? In: Proceedings 59th Conference on Simulation and Modelling (SIMS 59), pp. 9\u201316. Link\u00f6ping University Electronic Press (2018)","DOI":"10.3384\/ecp181539"},{"key":"6_CR7","unstructured":"Delgoshaei, P., Austin, M.A., Veronica, D.A.: A semantic platform infrastructure for requirements traceability and system assessment. In: Ninth International Conference on Systems (ICONS 2014). IARIA, February 2014"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Feng, H., Gomes, C., Thule, C., Lausdahl, K., Iosifidis, A., Larsen, P.G.: Introduction to digital twin engineering. In: Martin, C.R., Blas, M.J., Inostrosa-Psijas, A. (eds.) Annual Modeling and Simulation Conference, ANNSIM 2021, Virtual Event\/Fairfax, VA, USA, 19\u201322 July 2021, pp. 1\u201312. IEEE (2021)","DOI":"10.23919\/ANNSIM52504.2021.9552135"},{"key":"6_CR9","unstructured":"Fj\u00f8sna, E., Waaler, A.: READI Information modelling framework (IMF). Asset Information Modelling Framework. Technical report, READI Joint Industry Project (2021)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-319-11617-4_11","volume-title":"Complex Systems Design & Management","author":"A Fraga","year":"2015","unstructured":"Fraga, A., Llorens, J., Alonso, L., Fuentes, J.M.: Ontology-assisted systems engineering process with focus in the requirements engineering process. In: Boulanger, F., Krob, D., Morel, G., Roussel, J.-C. (eds.) Complex Systems Design & Management, pp. 149\u2013161. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-11617-4_11"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-17746-0_16","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"B Glimm","year":"2010","unstructured":"Glimm, B., Kr\u00f6tzsch, M.: SPARQL beyond subgraph matching. In: Patel-Schneider, P.F., et al. (eds.) ISWC 2010. LNCS, vol. 6496, pp. 241\u2013256. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17746-0_16"},{"key":"6_CR12","unstructured":"Glimm, B., Ogbuji, C.: SPARQL 1.1 entailment regimes. W3C Recommendation (2013). http:\/\/www.w3.org\/TR\/sparql11-entailment\/"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Gomes, C., L\u00facio, L., Vangheluwe, H.: Semantics of co-simulation algorithms with simulator contracts. In: MoDELS (Companion), pp. 784\u2013789. IEEE (2019)","DOI":"10.1109\/MODELS-C.2019.00124"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1\u201349:33 (2018)","DOI":"10.1145\/3179993"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-319-38756-7_4","volume-title":"Transdisciplinary Perspectives on Complex Systems","author":"M Grieves","year":"2017","unstructured":"Grieves, M., Vickers, J.: Digital twin: mitigating unpredictable, undesirable emergent behavior in complex systems. In: Kahlen, F.-J., Flumerfelt, S., Alves, A. (eds.) Transdisciplinary Perspectives on Complex Systems, pp. 85\u2013113. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-38756-7_4"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Heaton, J., Parlikad, A.K.: Asset information model to support the adoption of a digital twin: west Cambridge case study. IFAC-PapersOnLine 53(3), 366\u2013371 (2020). 4th IFAC Workshop on Advanced Maintenance Engineering, Services and Technologies - AMEST 2020","DOI":"10.1016\/j.ifacol.2020.11.059"},{"key":"6_CR17","unstructured":"IEC TC3. IEC 81346\u20131 Structuring principles and reference designations - Part 1 Basic rules. International Standard IEC 81346\u20131 Ed. 1, IEC, July 2009"},{"key":"6_CR18","unstructured":"IOGP Jip 36: CFIHOS Standards. https:\/\/www.jip36-cfihos.org\/cfihos-standards\/. Accessed 12 Dec 2021"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Kamburjan, E., Johnsen, E.B.: Knowledge structures over simulation units. In: Proceedings SCS Annual Modeling and Simulation Conference (ANNSIM 2022) (2022, in press)","DOI":"10.23919\/ANNSIM55834.2022.9859490"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Kamburjan, E., Klungre, V.N., Giese, M.: Never mind the semantic gap: modular, lazy and safe loading of RDF data. In: Proceedings 19th International Conference on the Semantic Web (ESWC 2022), vol. 13261. Lecture Notes in Computer Science, pp. 200\u2013216. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-06981-9_12","DOI":"10.1007\/978-3-031-06981-9_12"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-030-77385-4_8","volume-title":"The Semantic Web","author":"E Kamburjan","year":"2021","unstructured":"Kamburjan, E., Klungre, V.N., Schlatte, R., Johnsen, E.B., Giese, M.: Programming and debugging with semantically lifted states. In: Verborgh, R., et al. (eds.) ESWC 2021. LNCS, vol. 12731, pp. 126\u2013142. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-77385-4_8"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Kharlamov, E., Mart\u00edn-Recuerda, F., Perry, B., Cameron, D., Fjellheim, R., Waaler, A.: Towards semantically enhanced digital twins. In: IEEE BigData, pp. 4189\u20134193. IEEE (2018)","DOI":"10.1109\/BigData.2018.8622503"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Kostylev, E.V., Grau, B.C.: On the semantics of SPARQL queries with optional matching under entailment regimes. In: ISWC, pp. 374\u2013389 (2014)","DOI":"10.1007\/978-3-319-11915-1_24"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Leal, D.: ISO 15926 \u201cLife Cycle Data for Process Plant\u201d: an Overview. Oil Gas Sci. Technol. 60(4), 629\u2013637 (2005)","DOI":"10.2516\/ogst:2005045"},{"key":"6_CR25","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-030-85874-2_26","volume-title":"Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems","author":"P Lietaert","year":"2021","unstructured":"Lietaert, P., Meyers, B., Van Noten, J., Sips, J., Gadeyne, K.: Knowledge graphs in digital twins for AI in production. In: Dolgui, A., Bernard, A., Lemoine, D., von Cieminski, G., Romero, D. (eds.) APMS 2021. IAICT, vol. 630, pp. 249\u2013257. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85874-2_26"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Mehmandarov, R., Waaler, A., Cameron, D., Fjellheim, R., Pettersen, T.B.: A semantic approach to identifier management in engineering systems. In: Proceedings International Conference on Big Data (Big Data), pp. 4613\u20134616. IEEE (2021)","DOI":"10.1109\/BigData52589.2021.9671515"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/j.procir.2021.05.073","volume":"100","author":"C Nigischer","year":"2021","unstructured":"Nigischer, C., Bougain, S., Riegler, R., Stanek, H.P., Grafinger, M.: Multi-domain simulation utilizing SysML: state of the art and future perspectives. Procedia CIRP 100, 319\u2013324 (2021)","journal-title":"Procedia CIRP"},{"key":"6_CR28","unstructured":"Oakes, B.J., Meyers, B., Janssens, D., Vangheluwe, H.: Structuring and accessing knowledge for historical and streaming digital twins. In: Tiddi, I., Maleshkova, M., Pellegrini, T., de Boer, V. (eds.) Joint Proceedings of the Semantics Co-located Events: Poster & Demo Track and Workshop on Ontology-Driven Conceptual Modelling of Digital Twins, vol. 2941. CEUR Workshop Proceedings. CEUR-WS.org (2021)"},{"key":"6_CR29","first-page":"133","volume":"10","author":"A Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. 10, 133\u2013173 (2008)","journal-title":"J. Data Semant."},{"key":"6_CR30","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL query language for RDF. W3C Recommendation (2008). http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"6_CR31","unstructured":"READI: Reference Designation System for Oil and Gas - READI (2020)"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Rotondi, M., Cominelli, A., Di Giorgio, C., Rossi, R., Vignati, E., Carati, B.: The benefits of integrated asset modelling: lessons learned from field cases. In: Europec\/EAGE Conference and Exhibition, OnePetro (2008)","DOI":"10.2118\/113831-MS"},{"key":"6_CR33","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.websem.2015.03.002","volume":"33","author":"MG Skj\u00e6veland","year":"2015","unstructured":"Skj\u00e6veland, M.G., Giese, M., Hovland, D., Lian, E.H., Waaler, A.: Engineering ontology-based access to real-world data sources. J. Web Semant. 33, 112\u2013140 (2015)","journal-title":"J. Web Semant."},{"key":"6_CR34","unstructured":"Smogeli, \u00d8.R., et al.: Open simulation platform - an open-source project for maritime system co-simulation. In: COMPIT, Technische Universit\u00e4t Hamburg-Harburg (2020)"},{"issue":"6","key":"6_CR35","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1002\/sys.21594","volume":"24","author":"H Sohier","year":"2021","unstructured":"Sohier, H., Lamothe, P., Guermazi, S., Yagoubi, M., Menegazzi, P., Maddaloni, A.: Improving simulation specification with MBSE for better simulation validation and reuse. Syst. Eng. 24(6), 425\u2013438 (2021)","journal-title":"Syst. Eng."},{"issue":"4","key":"6_CR36","doi-asserted-by":"publisher","first-page":"2405","DOI":"10.1109\/TII.2018.2873186","volume":"15","author":"F Tao","year":"2019","unstructured":"Tao, F., Zhang, H., Liu, A., Nee, A.Y.C.: Digital twin in industry: state-of-the-art. IEEE Trans. Ind. Informatics 15(4), 2405\u20132415 (2019)","journal-title":"IEEE Trans. Ind. Informatics"},{"key":"6_CR37","unstructured":"W3C, OWL Working Group. Web ontology language. https:\/\/www.w3.org\/OWL"},{"key":"6_CR38","unstructured":"W3C, RDF Working Group. Resource description framework. https:\/\/www.w3.org\/RDF"},{"key":"6_CR39","unstructured":"W3C, SHACL Working Group. Shapes constraint language. https:\/\/www.w3.org\/TR\/shacl\/"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Waszak, M., Lam, A.N., Hoffmann, V., Elves\u00e6ter, B., Mogos, M.F., Roman, D.: Let the asset decide: digital twins with knowledge graphs. In: 19th IEEE International Conference on Software Architecture (ICSA 2022). IEEE (2022)","DOI":"10.1109\/ICSA-C54293.2022.00014"},{"key":"6_CR41","doi-asserted-by":"crossref","unstructured":"Wei, K., Sun, J.Z., Liu, R.J.: A review of asset administration shell. In: 2019 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), pp. 1460\u20131465 (2019)","DOI":"10.1109\/IEEM44572.2019.8978536"},{"issue":"3","key":"6_CR42","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1002\/cite.201800112","volume":"91","author":"M Wiedau","year":"2019","unstructured":"Wiedau, M., von Wedel, L., Temmen, H., Welke, R., Papakonstantinou, N.: ENPRO data integration: extending DEXPI towards the asset lifecycle. Chem. Ing. Tec. 91(3), 240\u2013255 (2019)","journal-title":"Chem. Ing. Tec."},{"key":"6_CR43","doi-asserted-by":"publisher","first-page":"41805","DOI":"10.1109\/ACCESS.2020.2977136","volume":"8","author":"H Yan","year":"2020","unstructured":"Yan, H., Yang, J., Wan, J.: KnowIME: a system to construct a knowledge graph for intelligent manufacturing equipment. IEEE Access 8, 41805\u201341813 (2020)","journal-title":"IEEE Access"},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"Zhang, J., Luo, H., Xu, J.: Towards fully BIM-enabled building automation and robotics: a perspective of lifecycle information flow. Comput. Ind. 135, 103570 (2022)","DOI":"10.1016\/j.compind.2021.103570"},{"key":"6_CR45","doi-asserted-by":"crossref","unstructured":"Zhou, B., et al.: SemML: facilitating development of ML models for condition monitoring with semantics. J. Web Semant. 71, 100664 (2021)","DOI":"10.1016\/j.websem.2021.100664"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19762-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T23:13:53Z","timestamp":1666221233000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}