A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge
A Survey of Paraphrasing and Textual Entailment Methods