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.


Atomic Proposition Question Answering Language Technology Lexical Database Entailment Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bos, J., Markert, K.: Combining Shallow and Deep NLP Methods for Recognizing Textual Entailment. In: Proceedings of the PASCAL Recognising Textual Entailment Challenge, pp. 65–68 (2005)Google Scholar
  2. Budanitsky, A., Hirst, G.: Semantic Distance in WordNet: An Experimental, application-oriented evaluation of five measures. In: Proceedings of the NAACL–2001 Workshop on WordNet and Other Lexical Resources, Pittsburg, PA (2001)Google Scholar
  3. Burger, J., Ferro, L.: Generating an Entailment Corpus from News Headlines. In: Proceedings of the Empirical Modelling of Semantic Equivalence and Entailment, ACL 2005, pp. 49–54 (2005)Google Scholar
  4. Copestake, A., Flickinger, D., Sag, I.A.: Minimal Recursion Semantics: an Introduction (on-line draft),
  5. Dagan, I., Glickman, O., Magnini, B.: The PASCAL Recognising Textual Entailment Challenge. In: Proceedings of the PASCAL Recognising Textual Entailment Challenge (2005)Google Scholar
  6. Hobbs, J.R.: Ontological Promiscuity. In: Proceedings of the Association for Computational Linguistics, pp. 61–69 (1985)Google Scholar
  7. Jijkoun, V., de Rijke, M.: Recognizing Textual Entailment Using Lexical Similarity. In: The Proceedings of the PASCAL Recognising Textual Entailment Challenge, pp. 73–76 (2005)Google Scholar
  8. Jurafsky, D., Martin, J.H.: Speech and Language Processing: An Introduction to Natural Language Processing. In: Computational Linguistics and Speech Recognition, ch. 14-15. Prentice-Hall, Englewood Cliffs (2000)Google Scholar
  9. Kalman, J.A.: Automated Reasoning with OTTER. Rinton Press, Paramus (2001)MATHGoogle Scholar
  10. Mahesh, K., Nirenburg, S., Cowie, J., Farwell, D.: An Assessment of Cyc for Natural Language Processing. CRL technical report MCCS-96-302, New Mexico State University (1996)Google Scholar
  11. Miller, G.: WordNet: A lexical database for English. Communications of the ACM 38(11), 39–41 (1995)CrossRefGoogle Scholar
  12. Mollá, D., Hutchinson, B.: Intrinsic versus Extrinsic Evaluations of Parsing Systems. In: Proceedings of the 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL), workshop on Evaluation Initiatives in Natural Language Processing, pp. 43–50 (2003)Google Scholar
  13. Pérez, D., Alfonseca, E.: Application of BLEU algorithm for Recognizing Textual Entailments. In: The Proceedings of the PASCAL Recognising Textual Entailment Challenge, pp. 9–12 (2002)Google Scholar
  14. Quirk, R., Greenbaum, S., Leech, G., Svartvik, J.: A Comprehensive Grammar of the English Language. Longman, London (1985)Google Scholar
  15. Sleator, D., Temperley, D.: Parsing English with a Link Grammar. Carnegie Mellon University Computer Science technical report CMU-CS-91-196 (1991)Google Scholar
  16. Sutcliffe, R.F.E., Koch, H., McElligott, A. (eds.): Industrial Parsing of Software Manuals. Rodopi, Amsterdam (1996)Google Scholar
  17. Vanderwende, L., Coughlin, D., Dolan, B.: What Syntax can Contribute in Entailment Task. In: The Proceedings of the PASCAL Recognising Textual Entailment Challenge, pp. 13–16 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Elena Akhmatova
    • 1
  • Diego Mollá
    • 1
  1. 1.Centre for Language Technology, Division of Information and Communication SciencesMacquarie UniversityNorth RydeAustralia

Personalised recommendations