{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T10:45:00Z","timestamp":1771065900104,"version":"3.50.1"},"reference-count":120,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,4,16]],"date-time":"2016-04-16T00:00:00Z","timestamp":1460764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s10270-016-0521-5","type":"journal-article","created":{"date-parts":[[2016,4,16]],"date-time":"2016-04-16T06:09:32Z","timestamp":1460786972000},"page":"167-203","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Formalization of the classification pattern: survey of classification modeling in information systems engineering"],"prefix":"10.1007","volume":"17","author":[{"given":"Chris","family":"Partridge","sequence":"first","affiliation":[]},{"given":"Sergio","family":"de\u00a0Cesare","sequence":"additional","affiliation":[]},{"given":"Andrew","family":"Mitchell","sequence":"additional","affiliation":[]},{"given":"James","family":"Odell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"key":"521_CR1","unstructured":"Abrial, J.: Data semantics. In: IFIP Working Conference Data Base Management, pp. 1\u201360. (1974)"},{"key":"521_CR2","volume-title":"Type Hierarchies and Semantic Data Models","author":"A Albano","year":"1983","unstructured":"Albano, A.: Type Hierarchies and Semantic Data Models, vol. 18. ACM, New York (1983)"},{"key":"521_CR3","unstructured":"Aristotle: Categories and De Interpretatione. Clarendon Aristotle series. Oxford University Press, USA (1975)"},{"key":"521_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511583308","volume-title":"A World of States of Affairs. Cambridge Studies in Philosophy","author":"DM Armstrong","year":"1997","unstructured":"Armstrong, D.M.: A World of States of Affairs. Cambridge Studies in Philosophy. Cambridge University Press, Cambridge, New York (1997)"},{"key":"521_CR5","doi-asserted-by":"crossref","unstructured":"Aspinall, D.: Subtyping with power types. In: Proceedings of the 14th International Workshop, CSL 2000 Annual Conference of the EACSL vol. 1862, pp. 156\u2013171. Springer (2000)","DOI":"10.1007\/3-540-44622-2_10"},{"key":"521_CR6","unstructured":"Atkinson, C.: Dimensions of component-based development. In: Proceedings of the Workshop on Object-Oriented Technology, pp. 185\u2013186. (1999)"},{"issue":"4","key":"521_CR7","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1145\/643120.643123","volume":"12","author":"C Atkinson","year":"2002","unstructured":"Atkinson, C., K\u00fchne, T.: Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul. (TOMACS) 12(4), 290\u2013321 (2002)","journal-title":"ACM Trans. Model. Comput. Simul. (TOMACS)"},{"issue":"3","key":"521_CR8","doi-asserted-by":"crossref","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(3), 345\u2013359 (2008)","journal-title":"Softw. Syst. Model."},{"key":"521_CR9","volume-title":"Vicious Circles: On the Mathematics of Non-wellfounded Phenomena","author":"J Barwise","year":"1996","unstructured":"Barwise, J., Moss, L.: Vicious Circles: On the Mathematics of Non-wellfounded Phenomena. Center for the Study of Language and Information, Stanford (1996)"},{"key":"521_CR10","unstructured":"Black, M.: The elusiveness of sets. Rev. Metaphys. 24(4), 614\u2013636 (1971)"},{"key":"521_CR11","unstructured":"Blass, A.: The interaction between category theory and set theory. Contemp. Math. 30, 5\u201329 (1984)"},{"issue":"84","key":"521_CR12","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1515\/crll.1878.84.242","volume":"1878","author":"G Cantor","year":"1878","unstructured":"Cantor, G.: Ein beitrag zur mannigfaltigkeitslehre. J. f\u00fcr die reine und angewandte Math. 1878(84), 242\u2013258 (1878)","journal-title":"J. f\u00fcr die reine und angewandte Math."},{"issue":"4","key":"521_CR13","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/BF02124929","volume":"46","author":"G Cantor","year":"1895","unstructured":"Cantor, G.: Beitr\u00e4ge zur begr\u00fcndung der transfiniten mengenlehre. Math. Ann. 46(4), 481\u2013512 (1895)","journal-title":"Math. Ann."},{"key":"521_CR14","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Structural subtyping and the notion of power type. In: Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 70\u201379. ACM (1988)","DOI":"10.1145\/73560.73566"},{"issue":"4","key":"521_CR15","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. (CSUR) 17(4), 471\u2013523 (1985)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"521_CR16","volume-title":"The Logical Structure of the World: And, Pseudoproblems in Philosophy","author":"R Carnap","year":"1969","unstructured":"Carnap, R.: The Logical Structure of the World: And, Pseudoproblems in Philosophy. Open Court Publishing, Chicago (1969)"},{"issue":"1","key":"521_CR17","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PPS Chen","year":"1976","unstructured":"Chen, P.P.S.: The entity-relationship model: toward a unified view of data. ACM Trans. Database Syst. (TODS) 1(1), 9\u201336 (1976)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"521_CR18","doi-asserted-by":"crossref","unstructured":"Church, A.: Set theory with a universal set. In: Henkin, L. (ed.) Proceedings of the Tarski Symposium. Proceedings of Symposia in Pure Mathematics, vol. XXV, pp. 297\u2013308. American Mathematical Society (1974)","DOI":"10.1090\/pspum\/025\/0369069"},{"key":"521_CR19","unstructured":"Clark, T.: A foundation for multi-level modelling. In: Proceedings of the Workshop on Multi-level Modelling Co-located with ACM\/IEEE 17th International Conference on Model Driven Engineering Languages& Systems (MoDELS 2014), pp. 43. (2014)"},{"issue":"9","key":"521_CR20","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/130994.131006","volume":"35","author":"P Coad","year":"1992","unstructured":"Coad, P.: Object-oriented patterns. Commun. ACM 35(9), 152\u2013159 (1992)","journal-title":"Commun. ACM"},{"key":"521_CR21","first-page":"19","volume":"599","author":"EF Codd","year":"1969","unstructured":"Codd, E.F.: Derivability, redundancy, and consistency of relations stored in large data banks. IBM Res. Rep. RJ 599, 19 (1969)","journal-title":"IBM Res. Rep. RJ"},{"issue":"6","key":"521_CR22","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"issue":"4","key":"521_CR23","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/320107.320109","volume":"4","author":"EF Codd","year":"1979","unstructured":"Codd, E.F.: Extending the database relational model to capture more meaning. ACM Trans. Database Syst. (TODS) 4(4), 397\u2013434 (1979)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"521_CR24","unstructured":"Daga, A., de Cesare, S., Lycett, M., Partridge, C.: Software stability: recovering general patterns of business. AMCIS 2004 Proceedings, pp. 4278\u20134285. (2004)"},{"key":"521_CR25","doi-asserted-by":"crossref","unstructured":"Daga, A.: An ontological approach for recovering legacy business content. In: System Sciences, 2005. HICSS\u201905. Proceedings of the 38th Annual Hawaii International Conference On, pp. 224a. IEEE. (2005)","DOI":"10.1109\/HICSS.2005.94"},{"issue":"5","key":"521_CR26","doi-asserted-by":"crossref","first-page":"1078","DOI":"10.1109\/TKDE.2002.1033775","volume":"14","author":"M Dahchour","year":"2002","unstructured":"Dahchour, M., Pirotte, A., Zim\u00e1nyi, E.: Materialization and its metaclass implementation. IEEE Trans. Knowl. Data Eng. 14(5), 1078\u20131094 (2002)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"521_CR27","volume-title":"Mathematics: The Science of Patterns: The Search for Order in Life, Mind and the Universe","author":"K Devlin","year":"1996","unstructured":"Devlin, K.: Mathematics: The Science of Patterns: The Search for Order in Life, Mind and the Universe. Holt Paperbacks, New York (1996)"},{"key":"521_CR28","volume-title":"Primitive Classification","author":"E Durkheim","year":"1963","unstructured":"Durkheim, E., Mauss, M.: Primitive Classification. University of Chicago Press, Chicago (1963)"},{"issue":"2","key":"521_CR29","doi-asserted-by":"crossref","first-page":"231","DOI":"10.2307\/1990284","volume":"58","author":"S Eilenberg","year":"1945","unstructured":"Eilenberg, S., MacLane, S.: General theory of natural equivalences. Trans. Am. Math. Soc. 58(2), 231\u2013294 (1945)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"521_CR30","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0169-023X(85)90027-8","volume":"1","author":"R Elmasri","year":"1985","unstructured":"Elmasri, R., Weeldreyer, J., Hevner, A.: The category concept: an extension to the entity-relationship model. Data Knowl. Eng. 1(1), 75\u2013116 (1985)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"521_CR31","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF00375789","volume":"50","author":"J Ferreir\u00f3s","year":"1996","unstructured":"Ferreir\u00f3s, J.: Traditional logic and the early history of sets, 1854\u20131908. Arch. Hist. Exact Sci. 50(1), 5\u201371 (1996)","journal-title":"Arch. Hist. Exact Sci."},{"key":"521_CR32","unstructured":"Ferreir\u00f3s, J.: On arbitrary sets and ZFC. Bull. Symb. Log. 17(3), 361\u2013393 (2011)"},{"key":"521_CR33","doi-asserted-by":"crossref","DOI":"10.1093\/0198235496.001.0001","volume-title":"On Ideas: Aristotle\u2019s Criticism of Plato\u2019s Theory of Forms","author":"G Fine","year":"1995","unstructured":"Fine, G.: On Ideas: Aristotle\u2019s Criticism of Plato\u2019s Theory of Forms. Oxford University Press, Oxford (1995)"},{"issue":"3","key":"521_CR34","doi-asserted-by":"crossref","first-page":"263","DOI":"10.2307\/2215504","volume":"25","author":"K Fine","year":"1991","unstructured":"Fine, K.: The study of ontology. No\u00fbs 25(3), 263\u2013294 (1991)","journal-title":"No\u00fbs"},{"key":"521_CR35","doi-asserted-by":"crossref","unstructured":"Forster, T.: Church\u2019s set theory with a universal set. In: Logic, Meaning and Computation, vol. 305, pp. 109\u2013138 (2001)","DOI":"10.1007\/978-94-010-0526-5_4"},{"key":"521_CR36","volume-title":"The Order of Things: An Archaeology of the Human Sciences","author":"M Foucault","year":"1970","unstructured":"Foucault, M.: The Order of Things: An Archaeology of the Human Sciences. Tavistock Publications, London (1970)"},{"key":"521_CR37","volume-title":"Analysis Patterns: Reusable Object Models","author":"M Fowler","year":"1997","unstructured":"Fowler, M.: Analysis Patterns: Reusable Object Models. Addison-Wesley, Boston (1997)"},{"key":"521_CR38","volume-title":"Abelian Categories: An Introduction to Theory of Functors","author":"P Freyd","year":"1964","unstructured":"Freyd, P.: Abelian Categories: An Introduction to Theory of Functors. Harper & Row, New York (1964)"},{"issue":"4","key":"521_CR39","doi-asserted-by":"crossref","first-page":"536","DOI":"10.2307\/2412471","volume":"23","author":"MT Ghiselin","year":"1974","unstructured":"Ghiselin, M.T.: A radical solution to the species problem. Syst. Zool. 23(4), 536\u2013544 (1974)","journal-title":"Syst. Zool."},{"issue":"5","key":"521_CR40","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1109\/69.317711","volume":"6","author":"RC Goldstein","year":"1994","unstructured":"Goldstein, R.C., Storey, V.C.: Materialization. IEEE Trans. Knowl. Data Eng. 6(5), 835\u2013842 (1994)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"3","key":"521_CR41","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/S0169-023X(98)00043-3","volume":"29","author":"RC Goldstein","year":"1999","unstructured":"Goldstein, R.C., Storey, V.C.: Data abstractions: Why and how? Data Knowl. Eng. 29(3), 293\u2013311 (1999)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"521_CR42","doi-asserted-by":"crossref","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(1), 72\u201390 (2006)","journal-title":"Softw. Syst. Model."},{"issue":"11","key":"521_CR43","doi-asserted-by":"crossref","first-page":"1778","DOI":"10.1016\/j.jss.2007.02.048","volume":"80","author":"C Gonzalez-Perez","year":"2007","unstructured":"Gonzalez-Perez, C., Henderson-Sellers, B.: Modelling software development methodologies: a conceptual foundation. J. Syst. Softw. 80(11), 1778\u20131796 (2007)","journal-title":"J. Syst. Softw."},{"key":"521_CR44","volume-title":"The Search for Mathematical Roots, 1870\u20131940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to G\u00f6del","author":"I Grattan-Guinness","year":"2000","unstructured":"Grattan-Guinness, I.: The Search for Mathematical Roots, 1870\u20131940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to G\u00f6del. Princeton University Press, Princeton (2000)"},{"issue":"3","key":"521_CR45","doi-asserted-by":"crossref","first-page":"119","DOI":"10.2748\/tmj\/1178244774","volume":"9","author":"A Grothendieck","year":"1957","unstructured":"Grothendieck, A.: Sur quelques points d\u2019alg\u00e8bre homologique, II. T\u00f4hoku Math. J. 9(3), 119\u2013221 (1957)","journal-title":"T\u00f4hoku Math. J."},{"key":"521_CR46","volume-title":"The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra","author":"M Gyssens","year":"1988","unstructured":"Gyssens, M., Van Gucht, D.: The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra, vol. 17. ACM, New York (1988)"},{"key":"521_CR47","volume-title":"Naive Set Theory","author":"PR Halmos","year":"1960","unstructured":"Halmos, P.R.: Naive Set Theory. Van Nostrand, Princeton (1960)"},{"key":"521_CR48","unstructured":"Halpin, T.A.: Information modeling and higher-order types. In: CAiSE Workshops (1), pp. 233\u2013248. (2004)"},{"key":"521_CR49","volume-title":"Data Model Patterns: Conventions of Thought","author":"DC Hay","year":"1996","unstructured":"Hay, D.C.: Data Model Patterns: Conventions of Thought. Dorset House Pub, New York (1996)"},{"issue":"7","key":"521_CR50","doi-asserted-by":"crossref","first-page":"83","DOI":"10.5381\/jot.2005.4.7.a3","volume":"4","author":"B Henderson-Sellers","year":"2005","unstructured":"Henderson-Sellers, B., Gonzalez-Perez, C.: Connecting powertypes and stereotypes. J. Object Technol. 4(7), 83\u201396 (2005)","journal-title":"J. Object Technol."},{"key":"521_CR51","unstructured":"Henderson-Sellers, B., Gonzalez-Perez, C.: The rationale of powertype-based metamodelling to underpin software development methodologies. In: Proceedings of the 2nd Asia-Pacific Conference on Conceptual Modelling, vol. 43, pp. 7\u201316. Australian Computer Society Inc (2005)"},{"key":"521_CR52","first-page":"11","volume":"2006","author":"B Henderson-Sellers","year":"2006","unstructured":"Henderson-Sellers, B., Gonzalez-Perez, C.: On the ease of extending a powertype-based methodology metamodel. Meta Model. Ontol. WoMM 2006, 11\u201325 (2006)","journal-title":"Meta Model. Ontol. WoMM"},{"key":"521_CR53","unstructured":"Hoare, C.A.R.: Chapter II: Notes on data structuring. In: Structured Programming of APIC Studies in Data Processing No. 8, pp. 83\u2013174. Academic Press Ltd (1972)"},{"key":"521_CR54","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1086\/288811","volume":"45","author":"D Hull","year":"1978","unstructured":"Hull, D.: A matter of individuality. Philos. Sci. 45, 335\u2013360 (1978)","journal-title":"Philos. Sci."},{"key":"521_CR55","doi-asserted-by":"crossref","unstructured":"Hull, R.: Four views of complex objects: a sophisticate\u2019s introduction. In: Nested Relations and Complex Objects in Databases, pp. 85\u2013116. (1989)","DOI":"10.1007\/3-540-51171-7_22"},{"issue":"3","key":"521_CR56","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R Hull","year":"1987","unstructured":"Hull, R., King, R.: Semantic database modeling: survey, applications, and research issues. ACM Comput. Surv. (CSUR) 19(3), 201\u2013260 (1987)","journal-title":"ACM Comput. Surv. (CSUR)"},{"issue":"1","key":"521_CR57","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0022-0000(91)90036-5","volume":"43","author":"R Hull","year":"1991","unstructured":"Hull, R., Su, J.: On the expressive power of database queries with intermediate types. J. Comput. Syst. Sci. 43(1), 219\u2013267 (1991)","journal-title":"J. Comput. Syst. Sci."},{"key":"521_CR58","unstructured":"International Standards Office: ISO 24744: Software engineering: metamodel for development methodologies (2007)"},{"key":"521_CR59","unstructured":"International Standards Office: ISO 24744: Software engineering\u2014metamodel for development methodologies. (2014)"},{"key":"521_CR60","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.entcs.2008.12.064","volume":"225","author":"M Johnson","year":"2009","unstructured":"Johnson, M., Naumann, D., Power, J.: Category theoretic models of data refinement. Electron. Notes Theor. Comput. Sci. 225, 21\u201338 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"521_CR61","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/421046","volume":"2","author":"A Kanamori","year":"1996","unstructured":"Kanamori, A.: The mathematical development of set theory from cantor to cohen. Bull. Symb. Log. 2(1), 1\u201371 (1996)","journal-title":"Bull. Symb. Log."},{"key":"521_CR62","unstructured":"Kent, W.: Data and Reality: Basic Assumptions in Data Processing Reconsidered. North-Holland Pub. Co.; sole distributors for the USA and Canada Elsevier\/North-Holland, Amsterdam; New York New York (1978)"},{"key":"521_CR63","unstructured":"K\u00fchne, T.: Contrasting classification with generalisation. In: Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling, vol. 96, pp. 71\u201378. Australian Computer Society Inc, Darlinghurst (2009)"},{"key":"521_CR64","doi-asserted-by":"crossref","unstructured":"K\u00fchne, T., Schreiber, D.: Can programming be liberated from the two-level style: multi-level programming with deepjava. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications. ACM, New York (2007)","DOI":"10.1145\/1297027.1297044"},{"key":"521_CR65","doi-asserted-by":"crossref","unstructured":"Kuper, G.M.: The logical data model: a new approach to database logic. Stanford University, Department of Computer Science (1985)","DOI":"10.21236\/ADA141130"},{"key":"521_CR66","doi-asserted-by":"crossref","DOI":"10.7208\/chicago\/9780226471013.001.0001","volume-title":"Women, Fire and Dangerous Things: What Categories Reveal About the Mind","author":"G Lakoff","year":"1987","unstructured":"Lakoff, G.: Women, Fire and Dangerous Things: What Categories Reveal About the Mind. University of Chicago Press, Chicago (1987)"},{"key":"521_CR67","volume-title":"On the Plurality of Worlds","author":"D Lewis","year":"1986","unstructured":"Lewis, D.: On the Plurality of Worlds. B. Blackwell, New York (1986)"},{"issue":"1","key":"521_CR68","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/320064.320067","volume":"4","author":"PC Lockemann","year":"1979","unstructured":"Lockemann, P.C., Mayr, H.C., Weil, W.H., Wohlleber, W.H.: Data abstractions for database systems. ACM Trans. Database Syst. (TODS) 4(1), 60\u201375 (1979)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"issue":"6","key":"521_CR69","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1145\/1516046.1516079","volume":"52","author":"M Lycett","year":"2009","unstructured":"Lycett, M., Partridge, C.: The challenge of epistemic divergence in IS development. Commun. ACM 52(6), 127\u2013131 (2009)","journal-title":"Commun. ACM"},{"issue":"4","key":"521_CR70","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/malq.19990450410","volume":"45","author":"ME Maietti","year":"1999","unstructured":"Maietti, M.E., Valentini, S.: Can you add Power-Sets to Martin-Lof\u2019s intuitionistic set theory? Math. Log. Q. 45(4), 521\u2013532 (1999)","journal-title":"Math. Log. Q."},{"key":"521_CR71","volume-title":"Object-Oriented Analysis and Design","author":"J Martin","year":"1992","unstructured":"Martin, J., Odell, J.J.: Object-Oriented Analysis and Design. Prentice-Hall Inc, Upper Saddle River (1992)"},{"key":"521_CR72","volume-title":"Object-Oriented Methods","author":"J Martin","year":"1994","unstructured":"Martin, J., Odell, J.J.: Object-Oriented Methods. Prentice Hall PTR, Upper Saddle River (1994)"},{"key":"521_CR73","volume-title":"Object Oriented Methods: A Foundation","author":"J Martin","year":"1995","unstructured":"Martin, J., Odell, J.J.: Object Oriented Methods: A Foundation. Prentice Hall, Englewood Cliffs (1995)"},{"key":"521_CR74","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P.: An intuitionistic theory of types: predicative part. In: Logic Colloquium\u201973: Proceedings of the Logic Colloquium, vol. 80, pp. 73\u2013118. North Holland Amsterdam (1975)","DOI":"10.1016\/S0049-237X(08)71945-1"},{"issue":"4","key":"521_CR75","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1046\/j.1439-0469.2002.00211.x","volume":"40","author":"E Mayr","year":"2002","unstructured":"Mayr, E., Bock, W.J.: Classifications and other ordering systems. J. Zool. Syst. Evol. Res. 40(4), 169\u2013194 (2002)","journal-title":"J. Zool. Syst. Evol. Res."},{"key":"521_CR76","doi-asserted-by":"crossref","unstructured":"Mealy, G.H.: Another look at data. In: Proceeding of the Fall Joint Computer Conference, vol. 31, pp. 525\u2013534. AFIPS (1967)","DOI":"10.1145\/1465611.1465682"},{"key":"521_CR77","unstructured":"Neumayr B., Schrefl M. (2008) Comparison criteria for ontological multi-level modeling 08.03\/November 2008. Institute f\u00fcr Wirtschaftsinformatik, Johannes Kepler Universit\u00e4t Linz"},{"key":"521_CR78","doi-asserted-by":"crossref","unstructured":"Neumayr, B., Schrefl, M.: Multi-level conceptual modeling and OWL. In: Heuser, C.A., Pernul, G. (eds.) Advances in Conceptual Modeling-Challenging Perspectives: ER 2009 Workshops. LNCS, vol. 5833, pp. 189\u2013199. Springer, Berlin, Heidelberg (2009)","DOI":"10.1007\/978-3-642-04947-7_23"},{"key":"521_CR79","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663833","volume-title":"The Physical Basis of Predication. Cambridge studies in philosophy","author":"A Newman","year":"1992","unstructured":"Newman, A.: The Physical Basis of Predication. Cambridge studies in philosophy. Cambridge University Press, Cambridge; New York (1992)"},{"issue":"2","key":"521_CR80","first-page":"8","volume":"7","author":"JJ Odell","year":"1994","unstructured":"Odell, J.J.: Power types. JOOP 7(2), 8\u201312 (1994)","journal-title":"JOOP"},{"key":"521_CR81","volume-title":"Advanced Object-Oriented Analysis and Design using UML","author":"JJ Odell","year":"1998","unstructured":"Odell, J.J.: Advanced Object-Oriented Analysis and Design using UML, vol. 12. Cambridge University Press, Cambridge (1998)"},{"key":"521_CR82","volume-title":"The World on Paper: The Conceptual and Cognitive Implications of Writing and Reading","author":"DR Olson","year":"1994","unstructured":"Olson, D.R.: The World on Paper: The Conceptual and Cognitive Implications of Writing and Reading. Cambridge University Press, Cambridge; New York (1994)"},{"key":"521_CR83","unstructured":"OMG: Unified modelling language: Superstructure ver. 2.1. (2006)"},{"key":"521_CR84","unstructured":"OMG: Unified modelling language: Superstructure, ver. 2.3 OMG. (2010)"},{"key":"521_CR85","unstructured":"OMG: Unified modeling language (UML), Version 2.5 - formal\/15-03-01. (version 2.5) (2015)"},{"key":"521_CR86","doi-asserted-by":"crossref","DOI":"10.4324\/9780203328064","volume-title":"Orality and Literacy: The Technologizing of the Word","author":"WJ Ong","year":"1982","unstructured":"Ong, W.J.: Orality and Literacy: The Technologizing of the Word, vol. 1. Methuen, London and New York (1982)"},{"issue":"7","key":"521_CR87","first-page":"39","volume":"7","author":"C Partridge","year":"1994","unstructured":"Partridge, C.: Modelling the real world: are classes abstractions or objects? JOOP 7(7), 39\u201345 (1994)","journal-title":"JOOP"},{"key":"521_CR88","volume-title":"Business Objects: Re-engineering for Re-use","author":"C Partridge","year":"1996","unstructured":"Partridge, C.: Business Objects: Re-engineering for Re-use. Butterworth Heinemann, Oxford (1996)"},{"key":"521_CR89","unstructured":"Partridge, C.: The role of ontology in semantic integration. In: Second International Workshop on Semantics of Enterprise Integration at OOPSLA 2002 (2002). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.332.2651"},{"key":"521_CR90","unstructured":"Partridge, C.: What is a customer? the beginnings of a reference ontology for customer. In: Proceedings of the 11th OOPSLA Workshop on Behavioral SemanticsNortheastern (2002)"},{"key":"521_CR91","unstructured":"Partridge, C.: Shifting the ontological foundations of accounting\u2019s conceptual scheme. Presented at the Sixth European Conference on Accounting Information Systems, Seville, Spain (2003). http:\/\/bit.ly\/1YeC602"},{"key":"521_CR92","volume-title":"Business Objects: Re-Engineering for Re-Use","author":"C Partridge","year":"2005","unstructured":"Partridge, C.: Business Objects: Re-Engineering for Re-Use. BORO Centre, London (2005)"},{"key":"521_CR93","unstructured":"Partridge, C., Stefanova, M.: A synthesis of state of the art enterprise ontologies: Lessons learned. In: Open Enterprise Solutions: Systems, Experiences, and Organizations (OES-SEO 2001), pp. 130\u2013133. Luiss Edizioni, Centro di Ricerca sui Sistemi Informativi (2001)"},{"key":"521_CR94","unstructured":"Partridge, C., Stefanova, M.: Building a foundation for ontologies of organisation. In: The ontology and modelling of real estate transactions: European jurisdictions (international land management series), pp. 141\u2013149. Ashgate Publishing Limited (2003)"},{"key":"521_CR95","doi-asserted-by":"crossref","unstructured":"Partridge, C., Stefanova, M.: A program for building a state of the art enterprise ontology: Report on progress. In: The Practical Foundations of Business and Systems Specifications, pp. 271. Kluwer Academic Publishers (2003)","DOI":"10.1007\/978-94-017-2740-2_14"},{"issue":"3","key":"521_CR96","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/62061.62062","volume":"20","author":"J Peckham","year":"1988","unstructured":"Peckham, J., Maryanski, F.: Semantic data models. ACM Comput. Surv. (CSUR) 20(3), 153\u2013189 (1988)","journal-title":"ACM Comput. Surv. (CSUR)"},{"issue":"5","key":"521_CR97","doi-asserted-by":"crossref","first-page":"143","DOI":"10.5381\/jot.2004.3.5.a4","volume":"3","author":"A Pirotte","year":"2004","unstructured":"Pirotte, A., Massart, D.: Integrating two descriptions of taxonomies with materialization. J. Object Technol. 3(5), 143\u2013149 (2004)","journal-title":"J. Object Technol."},{"key":"521_CR98","unstructured":"Pirotte, A.: Materialization: a powerful and ubiquitous abstraction pattern. In: Proceedings of the 20th International Conference on very Large Data Bases, pp. 630\u2013641. Morgan Kaufmann Publishers Inc (1994)"},{"key":"521_CR99","unstructured":"Plato, Gill M.L., Ryan P.: Parmenides. Hackett Publishing Company, UK (1996)"},{"key":"521_CR100","doi-asserted-by":"crossref","unstructured":"Plato, Waterfield R.: Republic. Oxford world\u2019s classics. Oxford Paperbacks, UK (1994)","DOI":"10.1093\/actrade\/9780199535767.book.1"},{"key":"521_CR101","volume-title":"Colon Classification","author":"SR Ranganathan","year":"1933","unstructured":"Ranganathan, S.R.: Colon Classification. Madras Library Association, Madras (1933)"},{"key":"521_CR102","volume-title":"Classification, Theoretical and Practical","author":"EC Richardson","year":"1901","unstructured":"Richardson, E.C.: Classification, Theoretical and Practical. H.W. Wilson, New York (1901)"},{"key":"521_CR103","volume-title":"Principles of Mathematics","author":"B Russell","year":"1992","unstructured":"Russell, B.: Principles of Mathematics. Routledge, London (1992)"},{"key":"521_CR104","doi-asserted-by":"crossref","unstructured":"Sambin, G., Valentini, S.: Building up a toolbox for martin-l\u00f6f\u2019s type theory: Subset theory. In: Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 vol. 36, pp. 221. Oxford University Press, USA (1998)","DOI":"10.1093\/oso\/9780198501275.003.0014"},{"key":"521_CR105","volume-title":"Foundations Without Foundationalism: A Case for Second-Order Logic","author":"S Shapiro","year":"1991","unstructured":"Shapiro, S.: Foundations Without Foundationalism: A Case for Second-Order Logic. Cambridge Univ Press, Cambridge (1991)"},{"key":"521_CR106","unstructured":"Shapiro, S.: Foundations without Foundationalism: A Case for Second-Order Logic. Oxford logic guides; 17. Clarendon Press Oxford University Press, Oxford New York (1991)"},{"key":"521_CR107","unstructured":"Silverston, L.: The Data Model Resource Book, A Library of Universal Data Models by Industry Types, vol. 2. Wiley, New York (2001)"},{"key":"521_CR108","volume-title":"The Data Model Resource Book, A Library of Universal Data Models for all Enterprises","author":"L Silverston","year":"2001","unstructured":"Silverston, L.: The Data Model Resource Book, A Library of Universal Data Models for all Enterprises, vol. 1. Wiley, New York (2001)"},{"key":"521_CR109","volume-title":"The Data Model Resource Book, Universal Patterns for Data Modelling","author":"L Silverston","year":"2008","unstructured":"Silverston, L., Agnew, P.: The Data Model Resource Book, Universal Patterns for Data Modelling, vol. 3. Wiley, Indianapolis (2008)"},{"key":"521_CR110","volume-title":"The Data Model Resource Book, A Library of Logical Data Models and Data Warehouse Designs","author":"L Silverston","year":"1997","unstructured":"Silverston, L., Inmon, W.H., Graziano, K.: The Data Model Resource Book, A Library of Logical Data Models and Data Warehouse Designs. Wiley, New York (1997)"},{"issue":"2","key":"521_CR111","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/320544.320546","volume":"2","author":"JM Smith","year":"1977","unstructured":"Smith, J.M., Smith, D.C.P.: Database abstractions: aggregation and generalization. ACM Trans. Database Syst. (TODS) 2(2), 105\u2013133 (1977)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"521_CR112","doi-asserted-by":"crossref","unstructured":"Soldano, H., Ventos, V.: Abstract concept lattices. In: Valtchev, P., Jaschke, R. (eds.) Formal Concept Analysis: ICFCA 2011. Lecture Notes in Computer Science, vol. 6628, pp. 235\u2013250. Springer, Berlin, Heidelberg (2011)","DOI":"10.1007\/978-3-642-20514-9_18"},{"issue":"2","key":"521_CR113","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/7474.7475","volume":"18","author":"TJ Teorey","year":"1986","unstructured":"Teorey, T.J., Yang, D., Fry, J.P.: A logical design methodology for relational databases using the extended entity-relationship model. ACM Comput. Surv. (CSUR) 18(2), 197\u2013222 (1986)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"521_CR114","unstructured":"The Univalent Foundations Program: Homotopy Type Theory: Univalent Foundations of Mathematics (2013)"},{"key":"521_CR115","first-page":"275","volume":"36","author":"S Valentini","year":"1998","unstructured":"Valentini, S.: The forget-restore principle: a paradigmatic example. Twenty Five Years Constr. Type Theory 36, 275\u2013283 (1998)","journal-title":"Twenty Five Years Constr. Type Theory"},{"key":"521_CR116","unstructured":"Van Griethuysen, J.J.: Concepts and terminology for the conceptual schema and the information base. ANSI. ISO\/TC97\/SC5\/WG3-N695. International Organization for Standardization (1982)"},{"key":"521_CR117","unstructured":"Van Heijenoort, J.: From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931. Harvard University Press, Massachusetts (1967)"},{"key":"521_CR118","volume-title":"Developing High Quality Data Models","author":"M West","year":"2010","unstructured":"West, M.: Developing High Quality Data Models. Morgan Kaufmann, Burlington (2010)"},{"key":"521_CR119","first-page":"132","volume":"3","author":"B Woolf","year":"1996","unstructured":"Woolf, B., Johnson, R.: The type object pattern. Pattern Lang. Progr. Des. 3, 132 (1996)","journal-title":"Pattern Lang. Progr. Des."},{"issue":"2","key":"521_CR120","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF01449999","volume":"65","author":"E Zermelo","year":"1908","unstructured":"Zermelo, E.: Untersuchungen \u00fcber die grundlagen der mengenlehre. I. Math. Ann. 65(2), 261\u2013281 (1908)","journal-title":"Math. Ann."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0521-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0521-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0521-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0521-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,17]],"date-time":"2022-06-17T23:43:27Z","timestamp":1655509407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0521-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,16]]},"references-count":120,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["521"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0521-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,16]]}}}