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

Jia Xu, Ubbo Visser, Mansur R. Kabuka. Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies. In Carla E. Brodley, Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. pages 3142-3143, AAAI Press, 2014. [doi]

@inproceedings{XuVK14,
  title = {Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies},
  author = {Jia Xu and Ubbo Visser and Mansur R. Kabuka},
  year = {2014},
  url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8127},
  researchr = {https://researchr.org/publication/XuVK14},
  cites = {0},
  citedby = {0},
  pages = {3142-3143},
  booktitle = {Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada},
  editor = {Carla E. Brodley and Peter Stone},
  publisher = {AAAI Press},
  isbn = {978-1-57735-661-5},
}