A Topos-Based Approach to Building Language Ontologies

William Babonnaud (1)

1 SEMAGRAMME - Semantic Analysis of Natural Language

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]

William Babonnaud. A Topos-Based Approach to Building Language Ontologies. Formal Grammar. 24th International Conference, FG 2019, Aug 2019, Riga, Latvia. pp.18-34, ⟨10.1007/978-3-662-59648-7_2⟩. ⟨hal-02418029⟩