Formal ontology of 'cultures' and 'ethnic groups' based on type theory and functional programming

Authors:
Norihiro Ogata
Affiliations:
School of Language and Culture, Department of Language and Information, Osaka University, Osaka, Japan
Venue:
IWIC'07 Proceedings of the 1st international conference on Intercultural collaboration
Year:
2007

Citing 3
Cited 0

A polymorphic record calculus and its compilation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward principles for the design of ontologies used for knowledge sharing

International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
XDuce: A statically typed XML processing language

ACM Transactions on Internet Technology (TOIT)

Quantified Score

Hi-index	0.00

Visualization

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.