TY  - RPRT
TI  - Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies
AU  - Jia Xu
AU  - Patrick Shironoshita
AU  - Ubbo Visser
AU  - Nigel John
AU  - Mansur Kabuka
PY  - 2015
DO  - 10.4236/ijis.2015.51005
UR  - https://arxiv.org/abs/1412.7585
ID  - 1412.7585
ER  -