On integrating event definition and event detection
A Formalism for Representing and Reasoning with Temporal Information, Event and Change