{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:40Z","timestamp":1750219960947,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550356.3561548","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T18:13:20Z","timestamp":1668017600000},"page":"351-358","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Augmenting model-based systems engineering with knowledge"],"prefix":"10.1145","author":[{"given":"Luis Palacios","family":"Medinacelli","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, Palaiseau, France"}]},{"given":"Florian","family":"Noyrit","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, Palaiseau, France"}]},{"given":"Chokri","family":"Mraidha","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, Palaiseau, France"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A detailed comparison of UML and OWL. None","author":"Atkinson Colin","year":"2005","unstructured":"Colin Atkinson and Kilian Kiko . 2005. A detailed comparison of UML and OWL. None ( 2005 ). Colin Atkinson and Kilian Kiko. 2005. A detailed comparison of UML and OWL. None (2005)."},{"key":"e_1_3_2_1_2_1","volume-title":"Appendix: description logic terminology. The Description logic handbook: Theory, implementation, and applications","author":"Baader Franz","year":"2003","unstructured":"Franz Baader . 2003. Appendix: description logic terminology. The Description logic handbook: Theory, implementation, and applications ( 2003 ), 485--495. Franz Baader. 2003. Appendix: description logic terminology. The Description logic handbook: Theory, implementation, and applications (2003), 485--495."},{"key":"e_1_3_2_1_3_1","unstructured":"Franz Baader Diego Calvanese Deborah McGuinness Peter Patel-Schneider Daniele Nardi etal 2003. The description logic handbook: Theory implementation and applications. Cambridge university press.  Franz Baader Diego Calvanese Deborah McGuinness Peter Patel-Schneider Daniele Nardi et al. 2003. The description logic handbook: Theory implementation and applications. Cambridge university press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.3390\/s19051166"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21383"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIMSA.2007.4362539"},{"key":"e_1_3_2_1_7_1","unstructured":"Maged Elaasar and Nicolas Rouquette. 2022. http:\/\/www.opencaesar.io\/oml\/  Maged Elaasar and Nicolas Rouquette. 2022. http:\/\/www.opencaesar.io\/oml\/"},{"key":"e_1_3_2_1_8_1","volume-title":"Semantic integration process of business components to support information system designers. arXiv preprint arXiv:1302.1393","author":"Elasri Hicham","year":"2013","unstructured":"Hicham Elasri and Abderrahim Sekkaki . 2013. Semantic integration process of business components to support information system designers. arXiv preprint arXiv:1302.1393 ( 2013 ). Hicham Elasri and Abderrahim Sekkaki. 2013. Semantic integration process of business components to support information system designers. arXiv preprint arXiv:1302.1393 (2013)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Colomb R. et al. 2006. The object management group ontology definition metamodel. In Ontologies for software engineering and software technology. Springer 217--247.  Colomb R. et al. 2006. The object management group ontology definition metamodel. In Ontologies for software engineering and software technology. Springer 217--247.","DOI":"10.1007\/3-540-34518-3_8"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.3390\/app11104324"},{"volume-title":"2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems. IEEE, 1337--1342","author":"Schlenoff C.","key":"e_1_3_2_1_11_1","unstructured":"Schlenoff C. et al. 2012. An IEEE standard ontology for robotics and automation . In 2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems. IEEE, 1337--1342 . Schlenoff C. et al. 2012. An IEEE standard ontology for robotics and automation. In 2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems. IEEE, 1337--1342."},{"volume-title":"2016 1st International Workshop on Cyber-Physical Production Systems (CPPS). IEEE, 1--8.","author":"Vanherpen K.","key":"e_1_3_2_1_12_1","unstructured":"Vanherpen K. et al. 2016. Ontological reasoning for consistency in the design of cyber-physical systems . In 2016 1st International Workshop on Cyber-Physical Production Systems (CPPS). IEEE, 1--8. Vanherpen K. et al. 2016. Ontological reasoning for consistency in the design of cyber-physical systems. In 2016 1st International Workshop on Cyber-Physical Production Systems (CPPS). IEEE, 1--8."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.09.208"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194014500132"},{"volume-title":"2017 26th IEEE international symposium on robot and human interactive communication (RO-MAN). IEEE, 189--194","author":"Joanna Olszewska","key":"e_1_3_2_1_15_1","unstructured":"Olszewska Joanna Isabelle et al. 2017. Ontology for autonomous robotics . In 2017 26th IEEE international symposium on robot and human interactive communication (RO-MAN). IEEE, 189--194 . Olszewska Joanna Isabelle et al. 2017. Ontology for autonomous robotics. In 2017 26th IEEE international symposium on robot and human interactive communication (RO-MAN). IEEE, 189--194."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-018-1427-6"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.3023168"},{"key":"e_1_3_2_1_18_1","first-page":"43","article-title":"The design and development of information products","volume":"37","author":"Meyer Marc H","year":"1996","unstructured":"Marc H Meyer and Michael H Zack . 1996 . The design and development of information products . MIT Sloan Management Review 37 , 3 (1996), 43 . Marc H Meyer and Michael H Zack. 1996. The design and development of information products. MIT Sloan Management Review 37, 3 (1996), 43.","journal-title":"MIT Sloan Management Review"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCOINS.2014.6868825"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2019.100223"},{"key":"e_1_3_2_1_21_1","unstructured":"Haradhan Mohajan. 2016. A comprehensive analysis of knowledge management cycles. (2016).  Haradhan Mohajan. 2016. A comprehensive analysis of knowledge management cycles. (2016)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Alberto Olivares-Alarcos etal 2019. A review and comparison of ontology-based approaches to robot autonomy. The Knowledge Engineering Review 34 (2019).  Alberto Olivares-Alarcos et al. 2019. A review and comparison of ontology-based approaches to robot autonomy. The Knowledge Engineering Review 34 (2019).","DOI":"10.1017\/S0269888919000237"},{"key":"e_1_3_2_1_23_1","unstructured":"Fernando Silva Parreiras. 2011. Marrying model-driven engineering and ontology technologies: The TwoUse approach. (2011).  Fernando Silva Parreiras. 2011. Marrying model-driven engineering and ontology technologies: The TwoUse approach. (2011)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"E. Prestes S. Fiorini and J. Carbonera. 2014. Core Ontology for Robotics and Automation.  E. Prestes S. Fiorini and J. Carbonera. 2014. Core Ontology for Robotics and Automation.","DOI":"10.1016\/j.rcim.2014.08.004"},{"key":"e_1_3_2_1_25_1","unstructured":"Vitor Fortes Rey Sandro Rama Fiorini. 2015. IEEE1872-owl. https:\/\/github.com\/srfiorini\/IEEE1872-owl. OWL specification of the Core Ontology for Robotics and Automation (CORA) and other IEEE 1872-2015 ontologies..  Vitor Fortes Rey Sandro Rama Fiorini. 2015. IEEE1872-owl. https:\/\/github.com\/srfiorini\/IEEE1872-owl. OWL specification of the Core Ontology for Robotics and Automation (CORA) and other IEEE 1872-2015 ontologies.."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.05.010"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.01.040"},{"volume-title":"2017 IEEE International Systems Engineering Symposium (ISSE). IEEE, 1--7.","author":"Lan","key":"e_1_3_2_1_28_1","unstructured":"Lan Yang et al. 2017. Towards a methodology for systems engineering ontology development---An ontology for system life cycle processes . In 2017 IEEE International Systems Engineering Symposium (ISSE). IEEE, 1--7. Lan Yang et al. 2017. Towards a methodology for systems engineering ontology development---An ontology for system life cycle processes. In 2017 IEEE International Systems Engineering Symposium (ISSE). IEEE, 1--7."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2019.05.003"}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"],"location":"Montreal Quebec Canada","acronym":"MODELS '22"},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561548","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550356.3561548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:10Z","timestamp":1750182550000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550356.3561548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":29,"alternative-id":["10.1145\/3550356.3561548","10.1145\/3550356"],"URL":"https:\/\/doi.org\/10.1145\/3550356.3561548","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}