Reasoning with Instances of Heterogeneous Ontologies