TY - JOUR
T1 - Towards modeling natural language inferences with part-whole relations using formal ontology and lexical semantics
AU - Nakamura, Ayako
AU - Mineshima, Koji
AU - Bekki, Daisuke
N1 - Publisher Copyright:
© Copyright 2015, for this paper by its authors.
PY - 2015
Y1 - 2015
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84961172137&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84961172137&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:84961172137
VL - 1517
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
SN - 1613-0073
T2 - Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology
Y2 - 25 July 2015 through 27 July 2015
ER -