@article{convertinginstancecheckingtosubsumptiona,
  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 = {2014},
  eprint = {1412.7585},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1412.7585v3},
}