{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:12:07Z","timestamp":1773655927984,"version":"3.50.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319699035","type":"print"},{"value":"9783319699042","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-69904-2_23","type":"book-chapter","created":{"date-parts":[[2017,10,20]],"date-time":"2017-10-20T09:18:33Z","timestamp":1508491113000},"page":"280-294","source":"Crossref","is-referenced-by-count":14,"title":["A Comprehensive Formal Theory for Multi-level Conceptual Modeling"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Paulo A.","family":"Almeida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudenir M.","family":"Fonseca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victorio A.","family":"Carvalho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,21]]},"reference":[{"key":"23_CR1","unstructured":"Atkinson, C., K\u00fchne, T.: Meta-level independent modelling. In: International Workshop on Model Engineering at 14th European Conference on Object-Oriented Programming, pp. 1\u20134 (2000)"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s10270-007-0061-0","volume":"7","author":"C Atkinson","year":"2008","unstructured":"Atkinson, C., K\u00fchne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7, 345\u2013359 (2008)","journal-title":"Softw. Syst. Model."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Gerbig, R.: Melanie: multi-level modeling and ontology engineering environment. In: Proceedings of the 2nd International Master Class on MDE Modeling Wizards. ACM (2012)","DOI":"10.1145\/2448076.2448083"},{"key":"23_CR4","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":"23_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., Simperl, E., Gray, A., Sabou, M., Kr\u00f6tzsch, M., Lecue, F., Fl\u00f6ck, F., Gil, Y. (eds.) ISWC 2016 Part I. LNCS, vol. 9981, pp. 53\u201369. Springer, Cham (2016). doi: 10.1007\/978-3-319-46523-4_4"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Brasileiro, F., Almeida, J.P.A., Carvalho, V.A., Guizzardi, G.: Applying a multi-level modeling theory to assess taxonomic hierarchies in Wikidata. In: Proceedings of the Wiki Workshop 2016 at 25th International Conference on Companion on World Wide Web, pp. 975\u2013980 (2016)","DOI":"10.1145\/2872518.2891117"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Structural subtyping and the notion of power type. In: Proceedings of the 15th ACM Symposium of Principles of Programming Languages, pp. 70\u201379 (1988)","DOI":"10.1145\/73560.73566"},{"key":"23_CR8","first-page":"50","volume":"2015","author":"VA Carvalho","year":"2015","unstructured":"Carvalho, V.A., Almeida, J.P.A.: A semantic foundation for organizational structures: a multi-level approach. IEEE EDOC 2015, 50\u201359 (2015)","journal-title":"IEEE EDOC"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-319-25264-3_9","volume-title":"Conceptual Modeling","author":"VA Carvalho","year":"2015","unstructured":"Carvalho, V.A., Almeida, J.P.A., Fonseca, C.M., Guizzardi, G.: Extending the foundations of ontology-based conceptual modeling with a multi-level theory. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., L\u00f3pez, \u00d3.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 119\u2013133. Springer, Cham (2015). doi: 10.1007\/978-3-319-25264-3_9"},{"key":"23_CR10","first-page":"1","volume":"10","author":"VA Carvalho","year":"2016","unstructured":"Carvalho, V.A., Almeida, J.P.A.: Towards a well-founded theory for multi-level conceptual modeling. Softw. Syst. Model. 10, 1\u201327 (2016). Springer","journal-title":"Softw. Syst. Model."},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-319-39696-5_19","volume-title":"Advanced Information Systems Engineering","author":"VA Carvalho","year":"2016","unstructured":"Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using a well-founded multi-level theory to support the analysis and representation of the powertype pattern in conceptual modeling. In: Nurcan, S., Soffer, P., Bajec, M., Eder, J. (eds.) CAiSE 2016. LNCS, vol. 9694, pp. 309\u2013324. Springer, Cham (2016). doi: 10.1007\/978-3-319-39696-5_19"},{"key":"23_CR12","unstructured":"Clark, T., Gonzalez-Perez, C., Henderson-Sellers, B.: A foundation for multi-level modelling. In: Proceedings of Workshop on Multi-Level Modelling, MODELS, pp. 43\u201352 (2014)"},{"key":"23_CR13","unstructured":"Foxvog, D.: Instances of instances modeled via higher-order classes. In: 28th German Conference on AI Foundational Aspects of Ontologies (FOnt 2005), pp. 46\u201354 (2005)"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s12599-014-0350-4","volume":"6","author":"U Frank","year":"2014","unstructured":"Frank, U.: Multilevel modeling. Bus. Inf. Syst. Eng. 6, 319\u2013337 (2014)","journal-title":"Bus. Inf. Syst. Eng."},{"key":"23_CR15","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":"23_CR16","volume-title":"Ontological Foundations for Structural Conceptual Models","author":"G Guizzardi","year":"2005","unstructured":"Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. University of Twente, Enschede (2005)"},{"key":"23_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29825-7","volume-title":"On the Mathematics of Modeling, Metamodelling, Ontologies and Modelling Languages","author":"B Henderson-Sellers","year":"2012","unstructured":"Henderson-Sellers, B.: On the Mathematics of Modeling, Metamodelling, Ontologies and Modelling Languages. Springer, Heidelberg (2012)"},{"key":"23_CR18","unstructured":"Irvine, A.D., Deutsch, H.: Russell\u2019s paradox. In: The Stanford Encyclopedia of Philosophy (2016). https:\/\/plato.stanford.edu\/archives\/win2016\/entries\/russell-paradox\/"},{"key":"23_CR19","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge (2006)"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00961873","volume":"4","author":"M Jarke","year":"1995","unstructured":"Jarke, M., et al.: ConceptBase \u2013 a deductive object base for meta data management. J. Intell. Inf. Syst. 4, 167\u2013192 (1995)","journal-title":"J. Intell. Inf. Syst."},{"key":"23_CR21","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). doi: 10.1007\/978-3-319-46397-1_15"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: Proceedings of the 48th International Conference, TOOLS 2010, M\u00e1laga, Spain (2010)","DOI":"10.1007\/978-3-642-13953-6_1"},{"issue":"1","key":"23_CR23","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1093\/comjnl\/bxs144","volume":"57","author":"J Lara de","year":"2014","unstructured":"de Lara, J., et al.: Extending deep meta-modelling for practical model-driven engineering. Comput. J. 57(1), 36\u201358 (2014)","journal-title":"Comput. J."},{"key":"23_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2685615","volume":"24","author":"J Lara de","year":"2014","unstructured":"de Lara, J., Guerra, E., Cuadrado, J.S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24, 1\u201346 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"23_CR25","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology library. In: WonderWeb Deliverable D18 (2003)"},{"key":"23_CR26","volume-title":"The Growth of Biological Thought: Diversity, Evolution, and Inheritance","author":"E Mayr","year":"1982","unstructured":"Mayr, E.: The Growth of Biological Thought: Diversity, Evolution, and Inheritance. The Belknap Press, Cambridge (1982)"},{"key":"23_CR27","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s11229-009-9661-2","volume":"182","author":"C Menzel","year":"2011","unstructured":"Menzel, C.: Knowledge representation, the world wide web, and the evolution of logic. Synthese 182, 269\u2013295 (2011)","journal-title":"Synthese"},{"key":"23_CR28","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., et al.: Telos: representing knowledge about information systems. ACM Trans. Inf. Syst. (TOIS) 8, 325\u2013362 (1990)","journal-title":"ACM Trans. Inf. Syst. (TOIS)"},{"key":"23_CR29","unstructured":"Neumayr, B., Gr\u00fcn, K., Schrefl, M.: Multi-level domain modeling with M-objects and M-relationships. In: Proceedings of 6th Asia-Pacific Conf. Conceptual Modeling, New Zealand (2009)"},{"issue":"2","key":"23_CR30","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":"23_CR31","unstructured":"W3C: RDF Schema 1.1 (2014). https:\/\/www.w3.org\/TR\/2014\/REC-rdf-schema-20140225\/"},{"key":"23_CR32","unstructured":"W3C: OWL 2 Web Ontology Language-Document Overview (Second Edition) (2012). https:\/\/www.w3.org\/TR\/2012\/REC-owl2-syntax-20121211"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69904-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T16:05:25Z","timestamp":1750953925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69904-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319699035","9783319699042"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69904-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}