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 DLSHI, 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.
authors.forename: Jia
authors.initials: J
authors.lastname: Xu
authors.forename: Patrick
authors.initials: P
authors.lastname: Shironoshita
authors.forename: Ubbo
authors.initials: U
authors.lastname: Visser
authors.forename: Nigel
authors.initials: N
authors.lastname: John
authors.forename: Mansur
authors.initials: M
authors.lastname: Kabuka
keywords: Algorithms; Data retrieval; Description Logic; MSC; Ontology; SHI