Query Inseparability for ALC Ontologies