Reasoning with Multi-version Ontologies