Query optimization for ontology-based information integration