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

Fingerprint

Description Logics
Rewriting
Ontology
Retrieval
First-order
Inconsistency
Query
Query Rewriting
Reasoning
Class
Concepts
Sufficient Conditions
Experimental Results

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

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

Rewriting-based instance retrieval for negated concepts in description logic ontologies. / Du, Jianfeng; Pan, Jeff Z.

The Semantic Web – ISWC 2015 - 14th International Semantic Web Conference Proceedings. Vol. 9366 Springer-Verlag, 2015. p. 339-355 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9366).

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

Du, J & Pan, JZ 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9366, Springer-Verlag, pp. 339-355, 14th International Semantic Web Conference, ISWC 2015, Bethlehem, United States, 11/10/15. https://doi.org/10.1007/978-3-319-25007-6_20
Du J, Pan JZ. 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. Springer-Verlag. 2015. p. 339-355. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-25007-6_20
Du, Jianfeng ; Pan, Jeff Z. / Rewriting-based instance retrieval for negated concepts in description logic ontologies. The Semantic Web – ISWC 2015 - 14th International Semantic Web Conference Proceedings. Vol. 9366 Springer-Verlag, 2015. pp. 339-355 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{63c7ad0a09db46a3b8d20737e125c71b,
title = "Rewriting-based instance retrieval for negated concepts in description logic ontologies",
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.",
author = "Jianfeng Du and Pan, {Jeff Z.}",
note = "This work is partly supported by NSFC (61375056), Guangdong Natural Science Foundation (S2013010012928) and the EC MSC K-Drive project (286348).",
year = "2015",
doi = "10.1007/978-3-319-25007-6_20",
language = "English",
isbn = "978-3-319-25006-9",
volume = "9366",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "339--355",
booktitle = "The Semantic Web – ISWC 2015 - 14th International Semantic Web Conference Proceedings",

}

TY - GEN

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

AU - Du, Jianfeng

AU - Pan, Jeff Z.

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

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84952305690&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-25007-6_20

DO - 10.1007/978-3-319-25007-6_20

M3 - Conference contribution

AN - SCOPUS:84952305690

SN - 978-3-319-25006-9

VL - 9366

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 339

EP - 355

BT - The Semantic Web – ISWC 2015 - 14th International Semantic Web Conference Proceedings

PB - Springer-Verlag

ER -