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

Keywords

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

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software

Fingerprint Dive into the research topics of 'Optimizing the most specific concept method for efficient instance checking'. Together they form a unique fingerprint.

  • 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