14. A system for generating answers to questions comprising: a memory; a hardware processor in communication with the memory configured for: receiving an input query; determining a lexical answer type (LAT) for the input query; receiving a candidate answer for the input query; matching the candidate answer to a first instance in an ontology; matching the first instance to a first instance type in the ontology; matching the LAT to a second instance type in the ontology; identifying one or more logical rules in the ontology that relate the second instance type to the first instance type; producing a score for the candidate answer based on the matching steps; and modifying the score for the candidate answer based on the logical rule identified that relates the second instance type and the first instance type.
16. The system of claim 14 , wherein said identifying one or more logical rules comprises: identifying an axiom in said ontology indicating one of: an equivalence relation between the first instance type and the second instance type, a subsumption relation between the first instance type and the second instance type, and a sibling relation between the first instance type and the second instance type.