Intermediate Logic Forms -- ILFs

This page contains information about past and present work on the development of lexical resources and techniques based on Intermediate Logic Forms, part of the Semantics work at the NLP & IR Group - UNED, Madrid.

The first result of our work is ILF-WN, a lexical resource consisting of the automatically generated Intermediate Logic Forms (ILFs) of WordNet's glosses. Intermediate Logic Forms (ILFs) include neo-Davidsonian reification in a simple and flat syntax close to natural language form. We believe that ILFs provide a precise representation suitable to perform semantic inference without the brittleness that characterizes approaches based on first-order logic and theorem proving. In its current form, the representation allows to tackle semantic phenomena such as coreference and anaphora resolution. Moreover, it can be further specified to deal with other specific semantic issues such as quantification.

The Intermediate Logic Forms are straightforwardly obtained from the output of pipeline consisting of a part of speech tagger, a dependency parser and our own Intermediate Logic Form generator (all freely available tools). We apply the pipeline to the glosses of WordNet 3.0 to obtain a lexical resource ready to be used as knowledge base or common knowledge resource for a variety of tasks involving some kind of semantic inference.

Download ILF-WN (72M).

Contact Details:

Rodrigo Agerri (ragerri at
Universidad Politécnica de Madrid (UPM)
Working at MAVIR S-505/TIC/0267

Anselmo Peñas (anselmo at
NLP & IR Group - UNED, Madrid.