{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:53:03Z","timestamp":1743043983018,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048395"},{"type":"electronic","value":"9783642048401"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04840-1_13","type":"book-chapter","created":{"date-parts":[[2009,11,9]],"date-time":"2009-11-09T15:09:31Z","timestamp":1257779371000},"page":"145-158","source":"Crossref","is-referenced-by-count":1,"title":["Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations"],"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":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0169-023X(96)00013-4","volume":"20","author":"A. Artale","year":"1996","unstructured":"Artale, A., Franconi, E., Guarino, N., Pazzi, L.: Part-whole relations in object-centered systems: An overview. Data & Knowledge Engineering\u00a020, 347\u2013383 (1996)","journal-title":"Data & Knowledge Engineering"},{"key":"13_CR2","volume-title":"The Description Logic Handbook","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., MCGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Barendregt, H., Geuvers, H.: Proof-Assistants Using Dependent Type Systems. In: Handbook of Automated Reasoning, pp. 1149\u20131238. Elsevier and MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50020-5"},{"key":"13_CR4","first-page":"12","volume-title":"Frontiers in Artificial Intelligence and Applications (Procs. of STAIRS 2008)","author":"P. Barlatier","year":"2008","unstructured":"Barlatier, P., Dapoigny, R.: A Theorem Prover with Dependent Types for Reasoning about Actions. In: Frontiers in Artificial Intelligence and Applications (Procs. of STAIRS 2008), vol.\u00a0179, pp. 12\u201323. IOS Press, Amsterdam (2008)"},{"issue":"1-2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence\u00a0168(1-2), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"13_CR6","unstructured":"Bittner, T., Donnelly, M.: Computational ontologies of parthood, componenthood, and containment. In: Procs. of the Nineteenth International Joint Conference on Artificial Intelligence, pp. 382\u2013387 (2005)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Bunge, M.: Ontology I: The Furniture of the World. In: Treatise on Basic Philosophy, vol.\u00a03. D. Reidel Publishing (1977)","DOI":"10.1007\/978-94-010-9924-0"},{"key":"13_CR8","unstructured":"Cranefield, S., Purvis, M.: UML as an ontology modeling language. In: Procs. of the 16th Workshop on Intelligent Information Integration (1999)"},{"key":"13_CR9","unstructured":"Franconi, E., Ng, G.: The iCom Tool for Intelligent Conceptual Modeling. In: 7th Intl. Workshop on Knowledge Representation meets Databases, KRDB 2000 (2000)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/3-540-45816-6_15","volume-title":"Conceptual Modeling - ER 2002","author":"G. Guizzardi","year":"2002","unstructured":"Guizzardi, G., Herre, H., Wagner, G.: On the General Ontological Foundations of Conceptual Modeling. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol.\u00a02503, pp. 65\u201378. Springer, Heidelberg (2002)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","first-page":"112","volume-title":"Advanced Information Systems Engineering","author":"G. Guizzardi","year":"2004","unstructured":"Guizzardi, G., Wagner, G., Guarino, N., Van Sinderen, M.: An Ontologically Well-Founded Profile for UML Conceptual Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 112\u2013126. Springer, Heidelberg (2004)"},{"key":"13_CR12","unstructured":"Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. PhD thesis, Enschede, The Netherlands (2005)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","first-page":"1116","volume-title":"2nd Int. Workshop on Object Role Modelling","author":"M.C. Keet","year":"2006","unstructured":"Keet, M.C.: Part-whole relations in Objects-Role-Models. In: OTM 2006 Workshops. LNCS, vol.\u00a04278, pp. 1116\u20131127. Springer, Heidelberg (2006)"},{"issue":"1-2","key":"13_CR14","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":"13_CR15","doi-asserted-by":"crossref","unstructured":"Luo, Z.: A Unifying Theory of Dependent Types: The Schematic Approach. In: Procs. of Logical Foundations of Computer Science, pp. 293\u2013304 (1992)","DOI":"10.1007\/BFb0023883"},{"issue":"1","key":"13_CR16","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1093\/logcom\/9.1.105","volume":"9","author":"Z. Luo","year":"1999","unstructured":"Luo, Z.: Coercive subtyping. J. of Logic and Computation\u00a09(1), 105\u2013130 (1999)","journal-title":"J. of Logic and Computation"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/978-3-642-02444-3_15","volume-title":"TYPES 2008","author":"Z. Luo","year":"2009","unstructured":"Luo, Z.: Manifest fields and module mechanisms in intensional type theory. In: Berardi, S., Damiani, F., de\u2019Liguoro, U. (eds.) TYPES 2008. LNCS, vol.\u00a05497, pp. 237\u2013255. Springer, Heidelberg (2009)"},{"key":"13_CR18","unstructured":"Meisel, H.: Ontology Representation and Reasoning: A Conceptual Level Approach. Phd thesis at the University of Aberdeen (2005)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Motik, B., Cuenca Grau, B., Sattler, U.: Structured Objects in OWL: Representation and Reasoning. In: Procs. of the Int. WWW Conference WWW 2008 (2008)","DOI":"10.1145\/1367497.1367573"},{"issue":"2","key":"13_CR20","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0933-3657(96)00369-7","volume":"9","author":"A.L. Rector","year":"1997","unstructured":"Rector, A.L., Bechhofer, S., Goble, C.A., Horrocks, I., Nowlan, W.A., Solomon, W.D.: The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine\u00a09(2), 139\u2013171 (1997)","journal-title":"Artificial Intelligence in Medicine"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.artmed.2004.11.005","volume":"34","author":"S. Schulz","year":"2005","unstructured":"Schulz, S., Hahn, U.: Part-whole representation and reasoning in formal biomedical ontologies. Artificial Intelligence in Medicine\u00a034, 179\u2013200 (2005)","journal-title":"Artificial Intelligence in Medicine"},{"key":"13_CR22","volume-title":"Parts: a study in Ontology","author":"P. Simons","year":"1987","unstructured":"Simons, P.: Parts: a study in Ontology. Clarendon Press, Oxford (1987)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2009"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04840-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T00:35:29Z","timestamp":1676680529000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04840-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048395","9783642048401"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04840-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}