{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:46:19Z","timestamp":1725864379033},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319455464"},{"type":"electronic","value":"9783319455471"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45547-1_19","type":"book-chapter","created":{"date-parts":[[2016,9,6]],"date-time":"2016-09-06T02:03:27Z","timestamp":1473127407000},"page":"234-244","source":"Crossref","is-referenced-by-count":6,"title":["Annotation of Engineering Models by References to Domain Ontologies"],"prefix":"10.1007","author":[{"given":"Kahina","family":"Hacid","sequence":"first","affiliation":[]},{"given":"Yamine","family":"Ait-Ameur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,7]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.scico.2015.12.004","volume":"121","author":"Y A\u00eft Ameur","year":"2016","unstructured":"A\u00eft Ameur, Y., M\u00e9ry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100\u2013127 (2016)","journal-title":"Sci. Comput. Program."},{"key":"19_CR2","unstructured":"The NoseGear Case Study. http:\/\/www.cl.cam.ac.uk\/mjcg\/FMStandardsWorkshop\/NoseGear.html"},{"key":"19_CR3","unstructured":"Grube: toward principles for the design of ontologies used for knowledge sharing (1993)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Jean, S., Pierra, G., A\u00eft Ameur, Y.: Domain ontologies: a database-oriented analysis. In: Filipe, J., Cordeiro, J., Pedrosa, V. (eds.) WEBIST 2005\/2006, LNBIP, vol. 1, pp. 238\u2013257 (2006)","DOI":"10.1007\/978-3-540-74063-6_19"},{"key":"19_CR5","unstructured":"Ontology web language. http:\/\/www.w3.org\/2001\/sw\/wiki\/OWL"},{"key":"19_CR6","unstructured":"ISO: Parts library - part 42: Description methodology: Methodology for structuring parts families, ISO ISO13584-42 (1998)"},{"key":"19_CR7","unstructured":"ISO: Parts library - part 25: Logical resource: Logical model of supplier library with aggregate values and explicit content, ISO ISO13584-25 (2004)"},{"key":"19_CR8","unstructured":"RDF Schema. http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Hacid, K., A\u00eft Ameur, Y.: Strengthening MDE and formal design models by references to domain ontologies, a model annotation based approach. In: ISOLA (2016, to appear)","DOI":"10.1007\/978-3-319-47166-2_24"},{"key":"19_CR10","unstructured":"Jean, S.: OntoQL, an exploitation language for ontology-based databases, Theses (2007)"},{"key":"19_CR11","unstructured":"The NoseGear Case Study. http:\/\/www.cl.cam.ac.uk\/mjcg\/FMStandardsWorkshop\/sampleCode.pdf"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Boudjlida, N., Panetto, H.: Annotation of enterprise models for interoperability purposes. In: IWAISE, April 2008","DOI":"10.1109\/IWAISE.2008.15"},{"key":"19_CR13","unstructured":"Wang, Y., Li, H.: Adding semantic annotation to UML class diagram. In: ICCASM (2010)"},{"key":"19_CR14","unstructured":"Lin, Y., Strasunskas, D.: Ontology-based semantic annotation of process templates for reuse. In: CAiSE (2005)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Lin, Y., Strasunskas, D., Hakkarainen, S., Krogstie, J., Solvberg, A.: Semantic annotation framework to manage semantic heterogeneity of process models. In: CAiSE (2006)","DOI":"10.1007\/11767138_29"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using reference domain ontologies to define the real-world semantics of domain-specific languages. In: CAiSE (2014)","DOI":"10.1007\/978-3-319-07881-6_33"},{"key":"19_CR17","unstructured":"Consortium: Formal models for ontologies, Technical report (2015)"},{"key":"19_CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B - System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45547-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T06:24:47Z","timestamp":1568355887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45547-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319455464","9783319455471"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45547-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}