@misc{indiciae7aaf2347f811,
  title = {Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies},
  author = {Jia Xu and Patrick Shironoshita and Ubbo Visser and Nigel John and Mansur Kabuka},
  year = {2015},
  doi = {10.4236/ijis.2015.51005},
  url = {https://arxiv.org/abs/1412.7585},
  note = {Source identifier: 1412.7585}
}