Query strategy for sequential ontology debugging