Skip to Main content Skip to Navigation
Conference papers

Quantification in Frame Semantics with Hybrid Logic

Laura Kallmeyer 1 Timm Lichte 1 Rainer Osswald 1 Sylvain Pogodalla 1, 2 Christian Wurm 1
2 SEMAGRAMME - Semantic Analysis of Natural Language
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Sylvain Pogodalla <>
Submitted on : Friday, September 4, 2015 - 9:11:11 AM
Last modification on : Thursday, March 5, 2020 - 4:51:03 PM
Long-term archiving on: : Wednesday, April 26, 2017 - 1:53:18 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads