1. A computer program product for automatically generating answers to questions, the computer program product comprising a non-transitory storage medium, said medium not a propagating signal, said non-transitory storage medium readable by a processing circuit and storing instructions run by the processing circuit for performing a method, the method comprising: 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.
1. A computer program product for automatically generating answers to questions, the computer program product comprising a non-transitory storage medium, said medium not a propagating signal, said non-transitory storage medium readable by a processing circuit and storing instructions run by the processing circuit for performing a method, the method comprising: 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. 2. The computer program product of claim 1 , wherein said identifying one or more logical rules comprises: identifying an axiom in said ontology indicating a disjoint relation between the first instance type and the second instance type.