HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

From TY_n to DRT: an implementation

Patrick Blackburn 1 Sébastien Hinderer 1
1 TALARIS - Natural Language Processing: representation, inference and semantics
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Since the early 1990s, the semanticist Reinhard Muskens has advocated the use of the TY_n family of higher-order logics as a general framework for semantic representation; he has backed up his claim by treating a wide variety of semantic phenomena in the TY_n framework. Most interestingly of all, he has also shown that the central ideas of Discourse Representation Theory (DRT) can be modeled in TY_n, thereby allowing a clean Montague-style treatment of discourse level phenomena. In this paper, we assess the significance for computational linguistics of his theoretical work. We do so by implementing the TY_n-based approach to DRT in \nessie, a generic framework for semantic construction that is implemented in the functional programming language OCaml.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

Contributor : Sébastien Hinderer Connect in order to contact the contributor
Submitted on : Monday, October 15, 2007 - 11:33:44 AM
Last modification on : Friday, February 4, 2022 - 3:30:12 AM
Long-term archiving on: : Monday, September 24, 2012 - 1:25:07 PM


Files produced by the author(s)


  • HAL Id : inria-00179297, version 1



Patrick Blackburn, Sébastien Hinderer. From TY_n to DRT: an implementation. 3rd International Language & Technology Conference - L&TC'07, Oct 2007, Poznam, Poland. pp.384-388. ⟨inria-00179297⟩



Record views


Files downloads