Recognizing Textual Entailment via atomic propositions

Elena Akhmatova*, Diego Mollá

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

5 Citations (Scopus)


This paper describes Macquarie University's Centre for Language Technology contribution to the PASCAL 2005 Recognizing Textual Entailment challenge. Our main aim was to test the practicability of a purely logical approach. For this, atomic propositions were extracted from both the text and the entailment hypothesis and they were expressed in a custom logical notation. The text entails the hypothesis if every proposition of the hypothesis is entailed by some proposition in the text. To extract the propositions and encode them into a logical notation the system uses the output of Link Parser. To detect the independent entailment relations the system relies on the use of Otter and WordNet.

Original languageEnglish
Title of host publicationMachine Learning Challenges
Subtitle of host publicationEvaluating Predictive Uncertainty, Visual Object Classification, and Recogisng Textual Entailment
EditorsJoaquin Quiñonero-Candela, Ido Dagan, Bernardo = Magnini, Florence d’Alché-Buc
Place of PublicationBerlin, Heidelberg
PublisherSpringer, Springer Nature
Number of pages19
ISBN (Print)3540334270, 9783540334279
Publication statusPublished - 2006
Event1st PASCAL Machine Learning Challenges Workshop, MLCW 2005 - Southampton, United Kingdom
Duration: 11 Apr 200513 Apr 2005

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other1st PASCAL Machine Learning Challenges Workshop, MLCW 2005
Country/TerritoryUnited Kingdom


Dive into the research topics of 'Recognizing Textual Entailment via atomic propositions'. Together they form a unique fingerprint.

Cite this