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

Jia Xu, Ubbo Visser, Mansur R. Kabuka

Browse the full AAAI paper archive.