{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T04:27:10Z","timestamp":1747196830279,"version":"3.40.5"},"publisher-location":"New York, NY","reference-count":30,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781493918867"},{"type":"electronic","value":"9781493918874"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4939-1887-4_27","type":"book-chapter","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T13:45:28Z","timestamp":1418132728000},"page":"437-454","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Formalizing Context for Domain Ontologies in Coq"],"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","published-online":{"date-parts":[[2014,12,10]]},"reference":[{"key":"27_CR1","unstructured":"Agostini, A., et al.: Experience report: ontological reasoning for context-aware internet services. Paper presented at the 4th IEEE conference on pervasive computing and communications workshops (PerCom 2006 Workshops), IEEE Computer Society, Pisa, Italy, 13\u201317 March 2006"},{"issue":"3","key":"27_CR2","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. Appl. Ontol. 7(3), 311\u2013356 (2012). doi:10.3233\/AO-2012-0113","journal-title":"Appl. Ontol."},{"issue":"3","key":"27_CR3","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1080\/09528130050111446","volume":"12","author":"M. Benerecetti","year":"2000","unstructured":"Benerecetti, M., et al.: Contextual reasoning distilled. J. Exp. Theo. Artif. Intell. 12(3), 279\u2013305 (2000)","journal-title":"J. Exp. Theo. Artif. Intell."},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive theorem proving and program development. Coq\u2019Art: the calculus of inductive constructions. In: Texts in Theoretical Computer Science, An EATCS Series. Springer, Berlin (2004)","DOI":"10.1007\/978-3-662-07964-5"},{"issue":"2","key":"27_CR5","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.pmcj.2009.06.002","volume":"6","author":"C. Bettini","year":"2010","unstructured":"Bettini, C., et al.: A survey of context modelling and reasoning techniques. J. Pervasive Mobile Comput. 6(2), 161\u2013180 (2010) (Elsevier Science Publishers B. V.)","journal-title":"J. Pervasive Mobile Comput."},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"A.G. Cohn","year":"1997","unstructured":"Cohn, A.G., et al.: Qualitative spatial representation and reasoning with the region connection calculus. GeoInformatica 1, 275\u2013316 (1997)","journal-title":"GeoInformatica"},{"issue":"4","key":"27_CR7","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 104(4), 293\u2013327 (2010). doi:10.3233\/FI-2010-351","journal-title":"Fundamenta Informaticae"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Dapoigny, R., Barlatier, P.: Formal foundations for situation awareness based on dependent type theory. Inf. Fus. 14(1), 87\u2013107 (2013a). doi:10.1016\/j.inffus.2012.02.006","DOI":"10.1016\/j.inffus.2012.02.006"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Dapoigny, R., Barlatier, P.: Modeling ontological structures with type classes in Coq. Paper presented at the 20th international conference on conceptual structures (ICCS'2013), Lecture Notes in Computer Science, vol.\u00a07735, pp.\u00a0135\u2013152. Mumbai, India, 10\u201312 January 2013b","DOI":"10.1007\/978-3-642-35786-2_11"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Gangemi, A., et al.: Sweetening ontologies with DOLCE. In: Gomez-Perez, A., Benjamins, V.R. (eds.) Paper presented at the 13th international conference EKAW'2002, Lecture Notes in Computer Science, vol.\u00a02473, pp.\u00a0166\u2013181. Siguenza, Spain, 1\u20134 Oct 2002","DOI":"10.1007\/3-540-45810-7_18"},{"issue":"2","key":"27_CR11","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artif. Intell. 127(2), 221\u2013259 (2001). doi:10.1016\/S0004-3702(01)00064-9","journal-title":"Artif. Intell."},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"822","DOI":"10.1002\/int.20291","volume":"23","author":"A.J. Gonzalez","year":"2008","unstructured":"Gonzalez, A.J., et al.: Formalizing context-based reasoning: a modeling paradigm for representing tactical human behavior. Int. J. Intell. Syst. 23, 822\u2013847 (2008). doi:10.1002\/int.20291","journal-title":"Int. J. Intell. Syst"},{"key":"27_CR13","unstructured":"Grau, B.C., et al.: Modularity and web ontologies. Paper presented at the 10th international conference on principles of knowledge representation and reasoning, Lake District, United Kingdom, pp.\u00a0198\u2013209, 2\u20135 July 2006"},{"key":"27_CR14","unstructured":"Guizzardi, G.: On ontology, ontologies, conceptualizations, modeling languages, and (meta)models. Paper presented at the 7th international Baltic conference, DB&IS 2006, Vilnius, Lithuania, 3\u20136 July 2006. Frontiers in Artificial Intelligence and Applications, vol.\u00a0155, pp.\u00a018\u201339. IOS Press (2006)"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Guizzardi, G., et al.: Towards ontological foundations for UML conceptual models. Paper presented at the confederated international conferences DOA, CoopIS and ODBASE'2002 Irvine, California, USA, 30 Oct\u20131 Nov 2002. Lecture Notes in Computer Science, vol. \u00a02519, pp.\u00a01100\u20131117 (2002)","DOI":"10.1007\/3-540-36124-3_70"},{"issue":"1","key":"27_CR16","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.pmcj.2005.07.003","volume":"2","author":"K. Henricksen","year":"2006","unstructured":"Henricksen, K., Indulska, J.: Developing context-aware pervasive computing applications: models and approach. Pervasive Mobile Comput. 2(1), 37\u201364 (2006)","journal-title":"Pervasive Mobile Comput"},{"key":"27_CR18","unstructured":"Krummenacher, R., Strang, T.: Ontology-based context modeling. Paper presented at the 3rd workshop on context-aware proactive systems, University of Surrey, United Kingdom, 18\u201319 June 2007"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Loke, S.W.: Logic programming for context-aware pervasive computing: Language support, characterizing situations, and integration with the web. Paper presented at the IEEE\/WIC\/ACM international conference on web intelligence, Beijing, China, pp.\u00a044\u201350, 20\u201324 Sept 2004","DOI":"10.1109\/WI.2004.10035"},{"key":"27_CR20","unstructured":"McCarthy, J.: Notes on formalizing context. Paper presented at the 13th international joint conference on artificial intelligence, Chamb\u00e9ry, France, pp.\u00a0555\u2013560, 28 Aug\u20133 Sept 1993"},{"key":"27_CR21","unstructured":"Noonan, H.: Identity. The Stanford Encyclopedia of Philosophy. In: Edward, N.Z. (ed.). http:\/\/plato.stanford.edu\/archives\/win2011\/entries\/identity\/ (2011). Accessed 7 Nov 2009"},{"issue":"4","key":"27_CR22","first-page":"1","volume":"4","author":"M. Perttunen","year":"2009","unstructured":"Perttunen, M., et al.: Context representation and reasoning in pervasive computing: a review. Int. J. Multimed. Ubiquit. Eng. 4(4), 1\u201328 (2009)","journal-title":"Int. J. Multimed. Ubiquit. Eng."},{"key":"27_CR23","unstructured":"Pires, L.F., et al.: Techniques for describing and manipulating context information. Lucent Technologies, Freeband\/A_MUSE, Tech. report D3.5v2.0 (2005)"},{"issue":"6","key":"27_CR24","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s00779-003-0251-x","volume":"7","author":"A. Ranganathan","year":"2003","unstructured":"Ranganathan, A., Campbell, R.H.: An infrastructure for context-awareness based on first order logic. Pers. Ubiquit. Comput. 7(6), 353\u2013364 (2003) (Springer)","journal-title":"Pers. Ubiquit. Comput."},{"key":"27_CR25","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/j.jvlc.2004.11.007","volume":"16","author":"H.R. Schmidtke","year":"2005","unstructured":"Schmidtke, H.R.: Aggregations and constituents: geometric specification of multi-granular objects. J. Vis. Lang. Comput. 16, 289\u2013309 (2005) (Elsevier)","journal-title":"J. Vis. Lang. Comput"},{"key":"27_CR26","unstructured":"Schmidtke, H.R.: Contextual reasoning in context-aware systems. Paper presented at the 8th international conference on intelligent environments, Guanajuato, Mexico, pp.\u00a082\u201393, 27\u201328 June 2012"},{"key":"27_CR27","unstructured":"Sowa, J.F.: Using a lexicon of canonical graphs in a semantic interpreter. In: Evens, M. (ed.) Relational Models of the Lexicon, pp.\u00a0113\u2013137. Cambridge University Press, New York (1988)"},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"Sozeau, M., Oury, N.: First-class type classes. In: A\u00eft Mohamed, O., Mu\u02dcnoz, C., Tahar, S. (eds.) Theorem Proving in Higher-Order Logics, Lecture Notes in Computer Science, vol.\u00a05170, pp.\u00a0278\u2013293. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-71067-7_23"},{"issue":"4","key":"27_CR29","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1017\/S0960129511000119","volume":"21","author":"B. Spitters","year":"2011","unstructured":"Spitters, B., van der Weegen, E.: Type classes for mathematics in type theory. Math. Struct. Comput. Sci. 21(4), 795\u2013825 (2011). doi:10.1017\/S0960129511000119","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\/2","key":"27_CR30","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/S0169-023X(97)00056-6","volume":"25","author":"R. Studer","year":"1998","unstructured":"Studer, R., et al.: Knowledge engineering: principles and methods. Data Knowl. Eng. 25(1\/2), 161\u2013197 (1998)","journal-title":"Data Knowl. Eng."},{"key":"27_CR31","unstructured":"Wang, X.H., et al.: Ontology-based context modeling and reasoning using OWL. Paper presented at the 2nd IEEE conference on pervasive computing and communications (PerCom 2004), Orlando, Florida, 14\u201317 March 2004. Workshop on context modeling and reasoning CoMoRea'04, pp.\u00a018\u201322. IEEE Press, USA (2004)"}],"container-title":["Context in Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4939-1887-4_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T00:05:29Z","timestamp":1747181129000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4939-1887-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9781493918867","9781493918874"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-1-4939-1887-4_27","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"10 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}