CIDOC CRM: reasoning about spatial information