{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T20:14:29Z","timestamp":1760300069014,"version":"3.44.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030008468"},{"type":"electronic","value":"9783030008475"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00847-5_29","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T08:11:26Z","timestamp":1537863086000},"page":"409-423","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Multi-level Conceptual Modeling: From a Formal Theory to a Well-Founded Language"],"prefix":"10.1007","author":[{"given":"Claudenir M.","family":"Fonseca","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Paulo A.","family":"Almeida","sequence":"additional","affiliation":[]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[]},{"given":"Victorio A.","family":"Carvalho","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,26]]},"reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-319-69904-2_23","volume-title":"Conceptual Modeling","author":"JPA Almeida","year":"2017","unstructured":"Almeida, J.P.A., Fonseca, C.M., Carvalho, V.A.: A comprehensive formal theory for multi-level conceptual modeling. In: Mayr, H.C., Guizzardi, G., Ma, H., Pastor, O. (eds.) ER 2017. LNCS, vol. 10650, pp. 280\u2013294. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69904-2_23"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Gerbig, R.: Melanie: multi-level modeling and ontology engineering environment. Proceedings of the 2nd International Master Class on Model-Driven Engineering Modeling Wizards - MW 2012. ACM Press, New York (2012)","DOI":"10.1145\/2448076.2448083"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Gerbig, R., K\u00fchne, T.: Comparing multi-level modeling approaches. In: Proceedings of the 1st International Workshop on Multi-level Modelling (2014)","DOI":"10.1145\/2489861.2489868"},{"key":"29_CR4","unstructured":"Atkinson, C., K\u00fchne, T.: Meta-level independent modeling. In: International Workshop \u201cModel Engineering\u201d (in Conjunction with ECOOP\u20192000), Cannes, France, p. 16 (2000)"},{"key":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-319-46523-4_4","volume-title":"The Semantic Web \u2013 ISWC 2016","author":"F Brasileiro","year":"2016","unstructured":"Brasileiro, F., Almeida, J.P.A., Carvalho, V.A., Guizzardi, G.: Expressive multi-level modeling for the semantic web. In: Groth, P., et al. (eds.) ISWC 2016. LNCS, vol. 9981, pp. 53\u201369. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46523-4_4"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Brasileiro, F., et al.: Applying a multi-level modeling theory to assess taxonomic hierarchies in Wikidata. In: Proceedings of the 25th International Conference Companion on World Wide Web, Geneva, Switzerland, pp. 975\u2013980 (2016)","DOI":"10.1145\/2872518.2891117"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Structural subtyping and the notion of powertype. In: Proceedings of the 15th ACM Symposium of Principles of Programming Languages, pp. 70\u201379 (1988)","DOI":"10.1145\/73560.73566"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Carvalho, V.A., Almeida, J.P.A.: Toward a well-founded theory for multi-level conceptual modeling. Softw. Syst. Model., 1\u201327 (2016)","DOI":"10.1007\/s10270-016-0538-9"},{"key":"29_CR9","unstructured":"Clark, T., Gonzalez-Perez, C., Henderson-Sellers, B.: Foundation for multi-level modelling. In: CEUR Workshop Proceedings, vol. 1286, pp. 43\u201352 (2014)"},{"key":"29_CR10","unstructured":"ECMA: The JSON Data Interchange Format, 1st edn. (2013). http:\/\/www.ecma-international.org\/publications\/files\/ECMA-ST\/ECMA-404.pdf"},{"key":"29_CR11","unstructured":"Fonseca, C.M.: ML2: an expressive multi-level conceptual modeling language. Dissertation (master\u2019s in informatics) - Federal University of Esp\u00edrito Santo, Brazil (2017)"},{"key":"29_CR12","unstructured":"Foxvog, D.: Instances of instances modeled via higher-order classes, Foundational Aspects of Ontologies, (9\u20132005), pp. 46\u201354 (2005). http:\/\/www.uni-koblenz.de\/fb4\/publikationen\/gelbereihe\/RR-9-2005.pdf"},{"key":"29_CR13","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/s10270-005-0099-9","volume":"5","author":"C Gonzalez-Perez","year":"2006","unstructured":"Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5, 72\u201390 (2006)","journal-title":"Softw. Syst. Model."},{"key":"29_CR14","unstructured":"Guizzardi, G.: Ontological Foundations for Structural Conceptual Models, 1st edn., The Netherlands (2005)"},{"key":"29_CR15","unstructured":"Guizzardi, G., et al.: Towards an ontological analysis of powertypes. In: Proceedings of the Joint Ontology Workshops 2015, p. 1517 (2015)"},{"key":"29_CR16","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. MIT Press, Cambridge (2006)"},{"issue":"2","key":"29_CR17","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00961873","volume":"4","author":"M Jarke","year":"1995","unstructured":"Jarke, M., et al.: ConceptBase - a deductive object base for meta data management. J. Intell. Inf. Syst. 4(2), 167\u2013192 (1995)","journal-title":"J. Intell. Inf. Syst."},{"key":"29_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-319-46397-1_15","volume-title":"Conceptual Modeling","author":"MA Jeusfeld","year":"2016","unstructured":"Jeusfeld, M.A., Neumayr, B.: DeepTelos: multi-level modeling with most general instances. In: Comyn-Wattiau, I., Tanaka, K., Song, I.-Y., Yamamoto, S., Saeki, M. (eds.) ER 2016. LNCS, vol. 9974, pp. 198\u2013211. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46397-1_15"},{"key":"29_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-13953-6_1","volume-title":"Objects, Models, Components, Patterns","author":"J Lara de","year":"2010","unstructured":"de Lara, J., Guerra, E.: Deep Meta-modelling with MetaDepth. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol. 6141, pp. 1\u201320. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13953-6_1"},{"key":"29_CR20","unstructured":"Mayr, E.: The Growth of Biological Thought: Diversity, Evolution, and Inheritance. The Belknap Press, Cambridge (1982)"},{"key":"29_CR21","unstructured":"Mylopoulos, J.: Conceptual modeling and Telos. In: Loucopoulos, P., Zicari, R. (eds.) Conceptual Modelling, Databases, and CASE: an Integrated View of Information System Development, pp. 49\u201368. Wiley, New York (1992)"},{"key":"29_CR22","unstructured":"Neumayr, B., Grun, K., Schrefl, M.: Multi-level domain modeling with m-objects and m-relationships. In: 6th Asia-Pacific Conference on Conceptual Modelling, vol. 96, pp. 107\u2013116 (2009)"},{"key":"29_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/978-3-319-07881-6_34","volume-title":"Advanced Information Systems Engineering","author":"B Neumayr","year":"2014","unstructured":"Neumayr, B., Jeusfeld, M.A., Schrefl, M., Sch\u00fctz, C.: Dual deep instantiation and its ConceptBase implementation. In: Jarke, M., et al. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 503\u2013517. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07881-6_34"},{"issue":"2","key":"29_CR24","first-page":"8","volume":"7","author":"J Odell","year":"1994","unstructured":"Odell, J.: Power types. J. Object-Oriented Program. 7(2), 8\u201312 (1994)","journal-title":"J. Object-Oriented Program."},{"key":"29_CR25","unstructured":"W3C: OWL 2 Web Ontology Language Document Overview (2009). http:\/\/www.w3.org\/TR\/2009\/REC-owl2-overview-20091027\/"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00847-5_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T22:09:04Z","timestamp":1755641344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00847-5_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030008468","9783030008475"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00847-5_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi'an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.nwpu-bioinformatics.com\/ER2018\/index.php#content","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}