{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:04Z","timestamp":1746115864856,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642409714"},{"type":"electronic","value":"9783642409721"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40972-1_1","type":"book-chapter","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T11:03:56Z","timestamp":1382526236000},"page":"1-14","source":"Crossref","is-referenced-by-count":0,"title":["A Typed Approach for Contextualizing the Part-Whole Relation"],"prefix":"10.1007","author":[{"given":"Richard","family":"Dapoigny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Barlatier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"1_CR1","doi-asserted-by":"crossref","first-page":"311","DOI":"10.3233\/AO-2012-0113","volume":"7","author":"P. Barlatier","year":"2012","unstructured":"Barlatier, P., Dapoigny, R.: A Type-Theoretical Approach for Ontologies: the Case of Roles. Applied Ontology\u00a07(3), 311\u2013356 (2012)","journal-title":"Applied Ontology"},{"key":"1_CR2","unstructured":"Jacobs, B.: Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics, vol.\u00a0141. Elsevier (1999)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development Coq\u2019Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS series. Springer (2004)","DOI":"10.1007\/978-3-662-07964-5"},{"key":"1_CR4","unstructured":"Bittner, T., Smith, B.: A Theory of Granular Partitions. In: Duckham, M., Goodchild, M.F., Worboys, M. (eds.) Foundations of Geographic Information Science, ch. 7, pp. 124\u2013125 (2003)"},{"key":"1_CR5","unstructured":"Bittner, R., Donelly, M., Smith, B.: Individuals, Universals, Collections: On the Foundational Relations of Ontology. Frontiers in Artificial Intelligence, vol.\u00a0114. IOS Press, Amsterdam (2010)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Casati, R., Varzi, A.C.: Parts and places: the structures of spatial representation. MIT Press (1999)","DOI":"10.7551\/mitpress\/5253.001.0001"},{"key":"1_CR7","unstructured":"Cirstea, H., Coquery, E., Drabent, W., Fages, F., Kirchner, C., Maluszynski, J., Wack, B.: Types for Web Rule Languages: a preliminary study, technical report A04-R-560, PROTHEO - INRIA Lorraine - LORIA (2004)"},{"issue":"4","key":"1_CR8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.3233\/FI-2010-351","volume":"104","author":"R. Dapoigny","year":"2010","unstructured":"Dapoigny, R., Barlatier, P.: Modeling Contexts with Dependent Types. Fundamenta Informaticae\u00a0104(4), 293\u2013327 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR9","unstructured":"Dapoigny, R., Barlatier, P.: Towards Ontological Correctness of Part-whole Relations with Dependent Types. In: Procs. of the Sixth Int. Conference (FOIS 2010), pp. 45\u201358 (2010)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-35786-2_11","volume-title":"Conceptual Structures for STEM Research and Education","author":"R. Dapoigny","year":"2013","unstructured":"Dapoigny, R., Barlatier, P.: Modeling Ontological Structures with Type Classes in Coq. In: Pfeiffer, H.D., Ignatov, D.I., Poelmans, J., Gadiraju, N. (eds.) ICCS 2013. LNCS, vol.\u00a07735, pp. 135\u2013152. Springer, Heidelberg (2013)"},{"key":"1_CR11","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-31175-8_1","volume-title":"Controlled Natural Language","author":"K. Angelov","year":"2012","unstructured":"Angelov, K., Enache, R.: Typeful Ontologies with Direct Multilingual Verbalization. In: Rosner, M., Fuchs, N.E. (eds.) CNL 2010. LNCS(LNAI), vol.\u00a07175, pp. 1\u201320. Springer, Heidelberg (2012)"},{"key":"1_CR12","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45810-7_18","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"A. Gangemi","year":"2002","unstructured":"Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS(LNAI), vol.\u00a02473, pp. 166\u2013181. Springer, Heidelberg (2002)"},{"issue":"5-6","key":"1_CR13","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1006\/ijhc.1995.1079","volume":"43","author":"P. Gerstl","year":"1995","unstructured":"Gerstl, P., Pribbenow, S.: Midwinters, end games, and body parts: a classification of part-whole relations. International Journal of Human-Computer Studies\u00a043(5-6), 865\u2013889 (1995)","journal-title":"International Journal of Human-Computer Studies"},{"key":"1_CR14","unstructured":"Guizzardi, G.: Ontological Foundations for Structural Conceptual Models, University of Twente, Centre for Telematics and Information Technology (2005)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/11901181_10","volume-title":"Conceptual Modeling - ER 2006","author":"G. Guizzardi","year":"2006","unstructured":"Guizzardi, G., Masolo, C., Borgo, S.: In Defense of a Trope-Based Ontology for Conceptual Modeling: An Example with the Foundations of Attributes, Weak Entities and Datatypes. In: Embley, D.W., Oliv\u00e9, A., Ram, S. (eds.) ER 2006. LNCS, vol.\u00a04215, pp. 112\u2013125. Springer, Heidelberg (2006)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-02144-2_12","volume-title":"Advanced Information Systems Engineering","author":"G. Guizzardi","year":"2009","unstructured":"Guizzardi, G.: The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 94\u2013109. Springer, Heidelberg (2009)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-16385-2_33","volume-title":"Advances in Conceptual Modeling \u2013 Applications and Challenges","author":"G. Guizzardi","year":"2010","unstructured":"Guizzardi, G.: Representing Collectives and Their Members in UML Conceptual Models: An Ontological Analysis. In: Trujillo, J., et al. (eds.) ER 2010. LNCS, vol.\u00a06413, pp. 265\u2013274. Springer, Heidelberg (2010)"},{"key":"1_CR18","unstructured":"Howard, W.A.: The formulae-as-types notion of construction. In: To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 479\u2013490. Academic Press (1980)"},{"key":"#cr-split#-1_CR19.1","unstructured":"Husserl, E.: Logische Untersuchungen. Zweiter Band, Untersuchungen zur Ph\u00e4nomenologie und Theorie der Erkenntnis. Niemeyer, Halle (1901)"},{"key":"#cr-split#-1_CR19.2","unstructured":"Eng. trans. by Findlay, J.N.: Logical Investigations, vol. 2. Routledge & Kegan Paul, London (1970)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Johansson, I.: On the Transitivity of the Parthood Relations. In: Relations and Predicates, pp. 161\u2013181. Ontos-Verlag (2004)","DOI":"10.1515\/9783110326857.161"},{"issue":"1-2","key":"1_CR21","doi-asserted-by":"crossref","first-page":"91","DOI":"10.3233\/AO-2008-0044","volume":"3","author":"C.M. Keet","year":"2008","unstructured":"Keet, C.M., Artale, A.: Representing and reasoning over a taxonomy of part-whole relations. Applied Ontology\u00a03(1-2), 91\u2013110 (2008)","journal-title":"Applied Ontology"},{"key":"#cr-split#-1_CR22.1","unstructured":"Le\u015bniewski, S.: Podstawy og\u00f3lnej teoryi mnogosci. I. Moskow: Prace Polskiego Kola Naukowego w Moskwie, Sekcya matematyczno-przyrodnicza (1916)"},{"key":"#cr-split#-1_CR22.2","unstructured":"English translation by Barnett, D. I.: Foundations of the General Theory of Sets. I, In: Le\u015bniewski, S., Collected Works, Surma, S.J., Srzednicki, J., Barnett, D.I., Rickey, F.V. (eds.), vol. 1, pp. 129-173. Kulwer, Dordrecht (1992)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Luo, Z.: Computation and Reasoning, vol.\u00a011. Oxford Science Publications (1994)","DOI":"10.1093\/oso\/9780198538356.001.0001"},{"key":"1_CR24","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology Library (D18), Laboratory for Applied Ontology-ISTC-CNR (2003)"},{"issue":"4","key":"1_CR25","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: Representing Knowledge About Information Systems. ACM Trans. on Information Systems\u00a08(4), 325\u2013362 (1990)","journal-title":"ACM Trans. on Information Systems"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-94-017-0073-3_3","volume-title":"The Semantics of Relationships","author":"S. Pribbenow","year":"2002","unstructured":"Pribbenow, S.: Meronymic Relationships: From Classical Mereology to Complex Part-Whole Relations. In: Green, R., Bean, C.A. (eds.) The Semantics of Relationships, pp. 35\u201350. Kluwer, Dordretch (2002)"},{"key":"1_CR27","first-page":"91","volume":"7","author":"A. Setzer","year":"2007","unstructured":"Setzer, A.: Object-Oriented Programming in Dependent Type Theory. Trends in Functional Programming\u00a07, 91\u2013108 (2007)","journal-title":"Trends in Functional Programming"},{"key":"1_CR28","volume-title":"Parts: A Study in Ontology","author":"P. Simons","year":"1987","unstructured":"Simons, P.: Parts: A Study in Ontology. Clarendon Press, Oxford (1987)"},{"issue":"3","key":"1_CR29","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0169-023X(96)00017-1","volume":"20","author":"A.C. Varzi","year":"1996","unstructured":"Varzi, A.C.: Parts, wholes, and part-whole relations: The prospects of mereotopology. Data and Knowledge Engineering\u00a020(3), 259\u2013286 (1996)","journal-title":"Data and Knowledge Engineering"},{"key":"1_CR30","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/APO-2006-015","volume":"1","author":"L. Vieu","year":"2006","unstructured":"Vieu, L.: On the transitivity of functional parthood. Applied Ontology\u00a01, 147\u2013155 (2006)","journal-title":"Applied Ontology"},{"issue":"4","key":"1_CR31","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1207\/s15516709cog1104_2","volume":"11","author":"M.E. Winston","year":"1987","unstructured":"Winston, M.E., Chaffin, R., Herrman, D.: A taxonomy of part-whole relations. Cognitive Science\u00a011(4), 417\u2013444 (1987)","journal-title":"Cognitive Science"}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40972-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T18:04:34Z","timestamp":1746036274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40972-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642409714","9783642409721"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40972-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}