{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:00Z","timestamp":1725662820001},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642259746"},{"type":"electronic","value":"9783642259753"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25975-3_23","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T13:44:15Z","timestamp":1330091055000},"page":"257-268","source":"Crossref","is-referenced-by-count":1,"title":["Using a Dependently-Typed Language for Expressing Ontologies"],"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":"23_CR1","unstructured":"Jacobs, B.: Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics. Elsevier (1999)"},{"key":"23_CR2","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":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Abstract Software Specifications","author":"R. Burstall","year":"1980","unstructured":"Burstall, R., Goguen, J.: The Semantics of Clear, a Specification Language. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol.\u00a086, pp. 292\u2013332. Springer, Heidelberg (1980)"},{"issue":"2\u20133","key":"23_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T. Coquand","year":"1988","unstructured":"Coquand, T., Huet, G.: The calculus of constructions. Information and Computation\u00a076(2\u20133), 95\u2013120 (1988)","journal-title":"Information and Computation"},{"key":"23_CR5","unstructured":"Dapoigny, R., Barlatier, P.: Towards Ontological Correctness of Part-whole Relations with Dependent Types. In: Procs. of the Sixth International Conference, FOIS 2010, pp. 45\u201358 (2010)"},{"issue":"4","key":"23_CR6","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":"23_CR7","series-title":"Lecture Notes in Artificial Intelligence","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)"},{"key":"23_CR8","unstructured":"Guarino, N.: The Ontological Level. In: Philosophy and the Cognitive Sciences, pp. 443\u2013456. Holder-Pichler-Tempsky (1994)"},{"key":"23_CR9","unstructured":"Guizzardi, G.: The Role of Foundational Ontology for Conceptual Modeling and Domain Ontology Representation. In: 7th International Baltic Conference on Databases and Information Systems, Keynote Paper (2006)"},{"key":"23_CR10","unstructured":"Hoekstra, R., Liem, J., Bredeweg, B., Breuker, J.: Requirements for Representing Situations. In: OWLED (2006)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Luo, Z.: Computation and Reasoning, vol.\u00a011. Oxford Science Publications (1994)","DOI":"10.1093\/oso\/9780198538356.001.0001"},{"key":"23_CR12","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology Library. WonderWeb Deliverable D18 (ver.1.0, 31-12-2003) (2003)"},{"key":"23_CR13","unstructured":"Masolo, C.: Understanding Ontological Levels. In: Procs. of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 258\u2013268. AAAI Press (2010)"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1007\/3-540-57182-5_57","volume-title":"Mathematical Foundations of Computer Science 1993","author":"B. Reus","year":"1993","unstructured":"Reus, B., Streicher, T.: Verifying Properties of Module Construction in Type Theory. In: Borzyszkowski, A.M., Sokolowski, S. (eds.) MFCS 1993. LNCS, vol.\u00a0711, pp. 660\u2013670. Springer, Heidelberg (1993)"},{"key":"23_CR15","unstructured":"Smith, B., Rosse, C.: The Role of Foundational Relations in the Alignment of Biomedical Ontologies. In: Procs. of MEDINFO 2004, pp. 444\u2013449 (2004)"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Werner, B.: On the strength of proof-irrelevant type theories. Logical Methods in Computer Science\u00a04(3) (2008)","DOI":"10.2168\/LMCS-4(3:13)2008"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25975-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T10:17:10Z","timestamp":1713608230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25975-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642259746","9783642259753"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25975-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}