Quantification in Frame Semantics with Hybrid Logic - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Quantification in Frame Semantics with Hybrid Logic

(1) , (1) , (1) , (1, 2) , (1)


This paper aims at integrating logical operators into frame-based semantics. Frames are semantic graphs that allow to capture lexical meaning in a fine-grained way but that do not come with a natural way to integrate logical operators such as quantifiers. The approach we propose starts from the observation that modal logic is a powerful tool for describing relational structures, hence frames. We use its hybrid logic extension in order to incorporate quantification and thereby allow for inference and reasoning. We develop a type theoretic compositional semantics using this approach, formulated within Abstract Categorial Grammar.
Fichier principal
Vignette du fichier
kallmeyer-et-al.pdf (499.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01151641 , version 1 (13-05-2015)
hal-01151641 , version 2 (01-06-2015)
hal-01151641 , version 3 (01-06-2015)
hal-01151641 , version 4 (04-09-2015)


  • HAL Id : hal-01151641 , version 4


Laura Kallmeyer, Timm Lichte, Rainer Osswald, Sylvain Pogodalla, Christian Wurm. Quantification in Frame Semantics with Hybrid Logic. Proceedings of the Type Theory and Lexical Semantics (TYTLES) ESSLLI workshop , Aug 2015, Barcelona, Spain. ⟨hal-01151641v4⟩
259 View
389 Download


Gmail Facebook Twitter LinkedIn More