Towards modeling natural language inferences with part-whole relations using formal ontology and lexical semantics

Ayako Nakamura; Koji Mineshima; Daisuke Bekki

Towards modeling natural language inferences with part-whole relations using formal ontology and lexical semantics

Ayako Nakamura, Koji Mineshima, Daisuke Bekki

Research output: Contribution to journal › Conference article › peer-review

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)

Fingerprint Dive into the research topics of 'Towards modeling natural language inferences with part-whole relations using formal ontology and lexical semantics'. Together they form a unique fingerprint.

Cite this

@article{6922f564a41c48ed9ad7395217d74d8b,

title = "Towards modeling natural language inferences with part-whole relations using formal ontology and lexical semantics",

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.",

author = "Ayako Nakamura and Koji Mineshima and Daisuke Bekki",

year = "2015",

month = jan,

day = "1",

language = "English",

volume = "1517",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology ; Conference date: 25-07-2015 Through 27-07-2015",

}

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

PY - 2015/1/1

Y1 - 2015/1/1

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 -