Rewriting-Based Instance Retrieval for Negated Concepts in Description Logic Ontologies

Jianfeng Du, Jeff Z. Pan

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


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 IFO-rewritable 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
Subtitle of host publication14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I
EditorsMarcelo Arenas, Oscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Krishnaprasad Thirunarayan, Steffen Staab
Place of PublicationCham
PublisherSpringer International Publishing
Number of pages17
ISBN (Electronic)978-3-319-25007-6
ISBN (Print)978-3-319-25006-9
Publication statusPublished - 30 Oct 2015
Event14th International Semantic Web Conference - Bethlehem, United States
Duration: 11 Oct 201515 Oct 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Cham
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference14th International Semantic Web Conference
Abbreviated titleISWC 2015
CountryUnited States
Internet address


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