Optimizing the most specific concept method for efficient instance checking

Jia Xu, Patrick Shironoshita, Ubbo E Visser, Nigel John, Mansur R. Kabuka

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Instance checking is considered a central tool 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.

Original languageEnglish (US)
Title of host publicationWWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web
PublisherAssociation for Computing Machinery, Inc
Pages405-406
Number of pages2
ISBN (Electronic)9781450327459
DOIs
StatePublished - Apr 7 2014
Event23rd International Conference on World Wide Web, WWW 2014 - Seoul, Korea, Republic of
Duration: Apr 7 2014Apr 11 2014

Other

Other23rd International Conference on World Wide Web, WWW 2014
CountryKorea, Republic of
CitySeoul
Period4/7/144/11/14

Fingerprint

Ontology
Experiments

Keywords

  • Data retrieval
  • Description logic
  • MSC
  • Ontology
  • SHI

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software

Cite this

Xu, J., Shironoshita, P., Visser, U. E., John, N., & Kabuka, M. R. (2014). Optimizing the most specific concept method for efficient instance checking. In WWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web (pp. 405-406). Association for Computing Machinery, Inc. https://doi.org/10.1145/2567948.2577294

Optimizing the most specific concept method for efficient instance checking. / Xu, Jia; Shironoshita, Patrick; Visser, Ubbo E; John, Nigel; Kabuka, Mansur R.

WWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web. Association for Computing Machinery, Inc, 2014. p. 405-406.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Xu, J, Shironoshita, P, Visser, UE, John, N & Kabuka, MR 2014, Optimizing the most specific concept method for efficient instance checking. in WWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web. Association for Computing Machinery, Inc, pp. 405-406, 23rd International Conference on World Wide Web, WWW 2014, Seoul, Korea, Republic of, 4/7/14. https://doi.org/10.1145/2567948.2577294
Xu J, Shironoshita P, Visser UE, John N, Kabuka MR. Optimizing the most specific concept method for efficient instance checking. In WWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web. Association for Computing Machinery, Inc. 2014. p. 405-406 https://doi.org/10.1145/2567948.2577294
Xu, Jia ; Shironoshita, Patrick ; Visser, Ubbo E ; John, Nigel ; Kabuka, Mansur R. / Optimizing the most specific concept method for efficient instance checking. WWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web. Association for Computing Machinery, Inc, 2014. pp. 405-406
@inproceedings{56460ec121a04fc590901d5ffb22504b,
title = "Optimizing the most specific concept method for efficient instance checking",
abstract = "Instance checking is considered a central tool 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.",
keywords = "Data retrieval, Description logic, MSC, Ontology, SHI",
author = "Jia Xu and Patrick Shironoshita and Visser, {Ubbo E} and Nigel John and Kabuka, {Mansur R.}",
year = "2014",
month = "4",
day = "7",
doi = "10.1145/2567948.2577294",
language = "English (US)",
pages = "405--406",
booktitle = "WWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web",
publisher = "Association for Computing Machinery, Inc",

}

TY - GEN

T1 - Optimizing the most specific concept method for efficient instance checking

AU - Xu, Jia

AU - Shironoshita, Patrick

AU - Visser, Ubbo E

AU - John, Nigel

AU - Kabuka, Mansur R.

PY - 2014/4/7

Y1 - 2014/4/7

N2 - Instance checking is considered a central tool 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.

AB - Instance checking is considered a central tool 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.

KW - Data retrieval

KW - Description logic

KW - MSC

KW - Ontology

KW - SHI

UR - http://www.scopus.com/inward/record.url?scp=84990997700&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84990997700&partnerID=8YFLogxK

U2 - 10.1145/2567948.2577294

DO - 10.1145/2567948.2577294

M3 - Conference contribution

AN - SCOPUS:84990997700

SP - 405

EP - 406

BT - WWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web

PB - Association for Computing Machinery, Inc

ER -