ML Anthology

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

Jia Xu, Ubbo Visser, Mansur R. Kabuka
AAAI 2014 pp. 3142-3143
doi:10.1609/AAAI.V28I1.9076 /aaai/2014/xu2014aaai-converting/

Abstract

Instance checking is considered a central service for data retrieval from description logic (DL) ontologies. In this paper, we propose a revised most specific concept (MSC) method for DL SHI}, which converts instance checking into subsumption problems. This revised method can generate small concepts that are specific-enough to answer a given query, and allow reasoning to explore only a subset of the ABox data to achieve efficiency. Experiments show effectiveness of our proposed method in terms of concept size reduction and the improvement in reasoning efficiency.

PDF AAAI Semantic Scholar

Cite

Text

Xu et al. "Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies." AAAI Conference on Artificial Intelligence, 2014. doi:10.1609/AAAI.V28I1.9076

Markdown

[Xu et al. "Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies." AAAI Conference on Artificial Intelligence, 2014.](https://mlanthology.org/aaai/2014/xu2014aaai-converting/) doi:10.1609/AAAI.V28I1.9076

BibTeX

@inproceedings{xu2014aaai-converting,
  title     = {{Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies}},
  author    = {Xu, Jia and Visser, Ubbo and Kabuka, Mansur R.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2014},
  pages     = {3142-3143},
  doi       = {10.1609/AAAI.V28I1.9076},
  url       = {https://mlanthology.org/aaai/2014/xu2014aaai-converting/}
}