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

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 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
Pages339-355
Number of pages17
ISBN (Electronic)978-3-319-25007-6
ISBN (Print)978-3-319-25006-9
DOIs
Publication statusPublished - 30 Oct 2015
Event14th International Semantic Web Conference - Bethlehem, United States
Duration: 11 Oct 201515 Oct 2015
http://iswc2015.semanticweb.org/

Publication series

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

Conference

Conference14th International Semantic Web Conference
Abbreviated titleISWC 2015
CountryUnited States
CityBethlehem
Period11/10/1515/10/15
Internet address

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