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

Open in new window