This paper concerns temporal inferences in natural language. The concept of time is crucially important because of its highly frequent use in utterances. However, time can appear in numerous forms, for example,
tense or time adverbials. It also may be implicitly specified by other events associating with some temporal conjunctions, such as when, before, after, etc. A logic-based approach is adopted to represent temporal information. Situations and time adverbials can be formally represented. Lexical knowledge about time and implications of situations also expressed in terms of logical clauses. Then we propose a temporal reasoning model. Various basic types of questions such as "When did event X happen?", "How long did event X last for?", "Did event X happen at time expression T?", etc. can be interpreted into temporal queries. Finally, we also use the same framework of logic to evaluate temporal queries, carry out computation and do the further deduction
