Causation and time in a hybrid knowledge representation formalism