A Topos-Based Approach to Building Language Ontologies
Résumé
A common tendency in lexical semantics is to assume the existence of a hierarchy of types for fine-grained analyses of semantic phenomena. This paper provides a formal account of the existence of such a structure. A type system based on the categorical notion of topos is introduced, and is shown to be possibly adaptable to several existing formal approaches where such hierarchies are used. A refinement of the type hierarchy based on Fred Sommers' ontological theory is also proposed.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...