Search
 
loader loading subjects...
cover
What have we learned in formal semantics about ontology?
Nicholas Asher
3
Frontiers in Artificial Intelligence and Applications
Volume 267: Formal Ontology in Information Systems
Abstract

In this talk I want to review some recent developments in formal lexical semantics, in particular how recent theories make use of types to model meanings and meaning composition. I will look both at model theoretic approaches to lexical semantics and explicitly type theoretic ones. In particular, I will discuss problems of the subtyping relation in richly typed theories. I will then speculate about the ontological foundations of the different approaches to subtyping.

Download