Formal Ontology Of 'Cultures' And 'Ethnic Groups' Based On Type Theory And Functional Programming
IWIC'07: Proceedings of the 1st international conference on Intercultural collaboration(2007)
摘要
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.
更多查看译文
关键词
Formal Cultural Ontology,Type Theory,Functional Programming,qualia,culture,ethnic group
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络