Rewriting-based instance retrieval for negated concepts in description logic ontologies

Jianfeng Du*, Jeff Z. Pan

*Corresponding author for this work

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

3 Citations (Scopus)

Abstract

Instance retrieval computes all instances of a given concept in a consistent description logic (DL) ontology. Although it is a popular task for ontology reasoning, there is no scalable method for instance retrieval for negated concepts by now. This paper studies a new approach to instance retrieval for negated concepts based on query rewriting. A class of DL ontologies called the inconsistency-based first-order rewritable (IFO-rewritable) class is identified. This class guarantees that instance retrieval for an atomic negation can be reduced to answering a disjunction of conjunctive queries (CQs) over the ABox. The IFOrewritable class is more expressive than the first-order rewritable class which guarantees that answering a CQ is reducible to answering a disjunction of CQs over the ABox regardless of the TBox. Two sufficient conditions are proposed to detect IFO-rewritable ontologies that are not first-order rewritable. A rewriting-based method for retrieving instances of a negated concept is proposed for IFO-rewritable ontologies. Preliminary experimental results on retrieving instances of all atomic negations show that this method is significantly more efficient than existing methods implemented in state-of-the-art DL systems.

Original languageEnglish
Title of host publicationThe Semantic Web – ISWC 2015 - 14th International Semantic Web Conference Proceedings
PublisherSpringer-Verlag
Pages339-355
Number of pages17
Volume9366
ISBN (Electronic)978-3-319-25007-6
ISBN (Print)978-3-319-25006-9
DOIs
Publication statusPublished - 2015
Event14th International Semantic Web Conference, ISWC 2015 - Bethlehem, United States
Duration: 11 Oct 201515 Oct 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9366
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference14th International Semantic Web Conference, ISWC 2015
CountryUnited States
CityBethlehem
Period11/10/1515/10/15

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'Rewriting-based instance retrieval for negated concepts in description logic ontologies'. Together they form a unique fingerprint.

  • Cite this

    Du, J., & Pan, J. Z. (2015). Rewriting-based instance retrieval for negated concepts in description logic ontologies. In The Semantic Web – ISWC 2015 - 14th International Semantic Web Conference Proceedings (Vol. 9366, pp. 339-355). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9366). Springer-Verlag. https://doi.org/10.1007/978-3-319-25007-6_20