Kabuka, Mansur R.

1 publications

AAAI 2014 Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies Jia Xu, Ubbo Visser, Mansur R. Kabuka