Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies