Abstract
This paper will propose formal ontology [7] of ‘cultures’ and ‘ethnic groups’ by type theory with record types, which is implemented by functional programming such as Objective Caml [12]. The structured entities are represented by data structures called qualia, culture, and ethnicGroup, based on fine-grained lexical semantics [16,19]. As a result, we can not only specify the conceptualizations relating to each culture and ethnic group for knowledge sharing, but also we can define functions treating and transforming qualia, culture and ethicGroup by using a type-theoretical framework including implementation by functional programming.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
WordNet: http://wordnet.princeton.edu/
Asher, N.: Reference to Abstract Objects in Discourse. Kluwer Academic Publishers, Dordrecht (1993)
Bach, E.: The algebra of events. Linguistics and Philosophy 9, 5–15 (1986)
Carlson, G.N.: Reference to Kinds in English. PhD thesis, University of Massachusetts, 1977. Published by Garland Publishing, New York (1980)
Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Heidelberg (1999)
Gordon, Jr., Raymond, G.: Ethnologue: Languages of the world, 15th edn. (2005), http://www.ethnologue.com/
Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human and Computer Science 43(5/6), 907–928 (1995)
Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. ACM Transactions on Internet Technology 3(2), 117–148 (2003)
Hoult, T.F.: Dictionary of modern sociology, Littlefield, Adams, Totowa (1969)
Kripke, S.A.: A puzzle about belief. In: Margarit, A. (ed.) Meaning and Use, pp. 239–283. Reidel, Dordrecht (1979)
Kroeber, A.L., Kluckhohn, C.: Culture: a critical review of concepts and definitions, Peabody Museum, Cambridge (1952)
Leroy, X., Doligez, D., Garrigue, J., Rémy, D., Vouillon, J.: The Objective Caml system, release 3.09: Documentation and user’s manual (2005)
Link, G.: Algebraic Semantics in Language and Philosophy. CSLI Publication, Stanford (1998)
Montague, R.: Formal Philosophy: Selected Papers of Richard Montague (ed. by Richmond Thomason). Yale University Press, New Haven (1974)
Moravcsik, J.M.E.: Aitia as generative factor in Aristotile’s philisophy. Dialogue 14, 622–636 (1975)
Moravcsik, J.M.E.: How do words get their meanings? Journal of Philosophy 78(1), 5–24 (1981)
Ohori, A.: A polymorphic record calculus and its compilation. ACM Transactions on Programming Languages and Systems 17(6), 844–895 (1995)
Parsons, T.: A prolegomenon to Meinongian semantics. Journal of Philosophy 71(16), 561–580 (1974)
Pustejovsky, J.: Generative Lexicon. MIT Press, Cambridge (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ogata, N. (2007). Formal Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming. In: Ishida, T., Fussell, S.R., Vossen, P.T.J.M. (eds) Intercultural Collaboration. IWIC 2007. Lecture Notes in Computer Science, vol 4568. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74000-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-74000-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73999-9
Online ISBN: 978-3-540-74000-1
eBook Packages: Computer ScienceComputer Science (R0)