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 proceedingPublished conference contribution

4 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
Country/TerritoryUnited States
CityBethlehem
Period11/10/1515/10/15

Bibliographical note

This work is partly supported by NSFC (61375056), Guangdong Natural Science Foundation (S2013010012928) and the EC MSC K-Drive project (286348).

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