Formal Ontology of Cultures and Ethnic Groups Based on Type Theory and Functional Programming

Norihiro Ogata. Formal Ontology of Cultures and Ethnic Groups Based on Type Theory and Functional Programming. In Toru Ishida, Susan R. Fussell, Piek T. J. M. Vossen, editors, Intercultural Collaboration, First International Workshop, IWIC 2007, Kyoto, Japan, January 25-26, 2007, Invited and Selected Papers. Volume 4568 of Lecture Notes in Computer Science, pages 46-60, Springer, 2007. [doi]

@inproceedings{Ogata07:0,
  title = {Formal Ontology of  Cultures  and  Ethnic Groups  Based on Type Theory and Functional Programming},
  author = {Norihiro Ogata},
  year = {2007},
  doi = {10.1007/978-3-540-74000-1_4},
  url = {http://dx.doi.org/10.1007/978-3-540-74000-1_4},
  tags = {ontologies, rule-based, ontology, functional programming, programming, type theory},
  researchr = {https://researchr.org/publication/Ogata07%3A0},
  cites = {0},
  citedby = {0},
  pages = {46-60},
  booktitle = {Intercultural Collaboration, First International Workshop, IWIC 2007, Kyoto, Japan, January 25-26, 2007, Invited and Selected Papers},
  editor = {Toru Ishida and Susan R. Fussell and Piek T. J. M. Vossen},
  volume = {4568},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73999-9},
}