Temporal optimisations and temporal cardinality in the tOWL language. (1st January 2012)