RECOGNIZING TEXTUAL ENTAILMENT USING DESCRIPTION LOGIC AND SEMANTIC RELATEDNESS
COGEX: A Logic Prover For Question Answering