CIDOC CRM: reasoning about temporal information