Querying OWL 2 QL and non-monotonic rules

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Citations (Scopus)
3 Downloads (Pure)

Abstract

Answering (conjunctive) queries is an important reasoning task in Description Logics (DL), hence also in highly expressive ontology languages, such as OWL. Extending such ontology languages with rules, such as those expressible in RIF-Core, and further with non-monotonic rules, integrating default negation as described in the RIF-FLD, yields an even more expressive language that allows for modeling defaults, exceptions, and integrity constraints. Here, we present a top-down procedure for querying knowledge bases (KB) that combine non-monotonic rules with an ontology in DL-LiteR - the DL underlying the OWL 2 profile OWL 2 QL. This profile aims particularly at answering queries in an efficient way for KB with large ABoxes. Our procedure extends the query-answering facility to KB that also include non-monotonic rules, while maintaining tractability of reasoning (w.r.t. data complexity). We show that the answers are sound and complete w.r.t. the well-founded MKNF model for hybrid MKNF KB K.

Original languageEnglish
Title of host publicationThe Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings
EditorsL. Aroyo, C. Welty, H. Alani, J. Taylor, A. Bernstein, L. Kagal, N. Noy, E. Blomqvist
Place of PublicationBerlin, Heidelberg
PublisherSpringer-Verlag
Pages338-353
Number of pages16
EditionPART 1
ISBN (Electronic)978-3-642-25073-6
ISBN (Print)978-3-642-25072-9
DOIs
Publication statusPublished - 2 Nov 2011
Event10th International Semantic Web Conference, ISWC 2011 - Bonn, Germany
Duration: 23 Oct 201127 Oct 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer-Verlag
NumberPART 1
Volume7031 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Semantic Web Conference, ISWC 2011
CountryGermany
CityBonn
Period23/10/1127/10/11

Keywords

  • Description Logic
  • Reasoning Task
  • Conjunctive Query
  • Minimal Answer
  • Combine Complexity

Fingerprint

Dive into the research topics of 'Querying OWL 2 QL and non-monotonic rules'. Together they form a unique fingerprint.

Cite this