@inproceedings{0f52e93ddfca46288a8d7a810cc02af9,
title = "Querying OWL 2 QL and non-monotonic rules",
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.",
keywords = "Description Logic, Reasoning Task, Conjunctive Query, Minimal Answer, Combine Complexity",
author = "Matthias Knorr and Alferes, {Jos{\'e} J{\'u}lio}",
year = "2011",
month = nov,
day = "2",
doi = "10.1007/978-3-642-25073-6_22",
language = "English",
isbn = "978-3-642-25072-9",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
number = "PART 1",
pages = "338--353",
editor = "L. Aroyo and C. Welty and H. Alani and J. Taylor and A. Bernstein and L. Kagal and N. Noy and E. Blomqvist",
booktitle = "The Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings",
address = "Germany",
edition = "PART 1",
note = "10th International Semantic Web Conference, ISWC 2011 ; Conference date: 23-10-2011 Through 27-10-2011",
}