Abstract
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.
Original language | English |
---|---|
Journal | CEUR Workshop Proceedings |
Volume | 1517 |
Publication status | Published - 2015 Jan 1 |
Externally published | Yes |
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)