Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics.

In this paper, we present a framework of natural language semantics combined with formal ontology to deal with lexical and world knowledge. We build on a framework of Dependent Type Semantics (DTS), a framework of natural language semantics based on dependent type theory. We show how to handle natural language inferences with part-whole relations, in particular, bridging inferences and inferences with the socalled total and partial predicates, in this framework.