{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:25:13Z","timestamp":1761513913449,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/syseng.2016.7753118","type":"proceedings-article","created":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T16:42:19Z","timestamp":1480005739000},"page":"1-8","source":"Crossref","is-referenced-by-count":9,"title":["Ontology reconciliation for system engineering"],"prefix":"10.1109","author":[{"given":"Dominique","family":"Ernadote","sequence":"first","affiliation":[]}],"member":"263","reference":[{"article-title":"Category theory for the working mathematician","year":"1971","author":"lane","key":"ref10"},{"article-title":"Integrated modeling: Adopting archi-tecture frameworks for model-based systems engineering","year":"0","author":"morkevicius","key":"ref11"},{"year":"2013","key":"ref12","article-title":"Naf v4 meta-model (model)"},{"key":"ref13","first-page":"145","article-title":"Temporal concurrent constraint programming: Denotation, logic and applications","volume":"9","author":"nielsen","year":"2002","journal-title":"Nord J Comput"},{"journal-title":"OMG","article-title":"OMG. OMG Systems Modeling Language (OMG SysML ™)","year":"2015","key":"ref14"},{"key":"ref15","first-page":"181","article-title":"OMG Unified Modeling Language ™(OMG UML)","year":"2015","journal-title":"chapter 11 Structured Classifiers"},{"key":"ref16","article-title":"Choco Documentation","author":"prud'homme","year":"2015","journal-title":"TASC INRIA Rennes LINA CNRS UMR 6241 COSLING S A S"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2015.7116733"},{"journal-title":"Category Theory for the Sciences","year":"2014","author":"spivak","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29822-6_24"},{"key":"ref4","first-page":"454","article-title":"An ontology mindset for system engineering","author":"emadote","year":"2015","journal-title":"2015 1st IEEE International Symposium on Systems Engineering (ISSE)"},{"key":"ref3","first-page":"197","article-title":"Semantic interoper-ability via category theory","volume":"83","author":"cafezeiro","year":"2007","journal-title":"Tutorials posters panels and indus-trial contributions at the 26th international conference on Conceptual modeling"},{"journal-title":"INCOSE","article-title":"INCOSE System Engineering Handbook","year":"2015","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.03.044"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"journal-title":"ISO","article-title":"ISO. ISO\/IEC 15288:2008, Systems and software engineering - System life cycle processes","year":"2008","key":"ref7"},{"key":"ref2","article-title":"Learn Prolog Now!","volume":"7","author":"bos","year":"2006","journal-title":"Texts in Computing"},{"journal-title":"Sebok guide to the systems engineering body of knowledge","year":"0","key":"ref1"},{"article-title":"The syntax and semantics of complex nominals","year":"1978","author":"levi","key":"ref9"}],"event":{"name":"2016 IEEE International Symposium on Systems Engineering (ISSE)","start":{"date-parts":[[2016,10,3]]},"location":"Edinburgh, United Kingdom","end":{"date-parts":[[2016,10,5]]}},"container-title":["2016 IEEE International Symposium on Systems Engineering (ISSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7731016\/7753113\/07753118.pdf?arnumber=7753118","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,19]],"date-time":"2016-12-19T22:49:39Z","timestamp":1482187779000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7753118\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/syseng.2016.7753118","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}