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 so- called total and partial predicates, in this framework.
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 2015|
|Event||Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology - Buenos Aires, Argentina|
Duration: 2015 Jul 25 → 2015 Jul 27
ASJC Scopus subject areas
- Computer Science(all)