From TY_n to DRT: an implementation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

From TY_n to DRT: an implementation


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.
Fichier principal
Vignette du fichier
ltc2007.pdf (79.57 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00179297 , version 1 (15-10-2007)


  • 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⟩
73 View
64 Download


Gmail Facebook X LinkedIn More