@inbook {4581afd013814ca2b5b7c3e82f113801, title = {Querying EL+ with Nonmonotonic Rules}, booktitle = {ECAI 2010 - 19th European Conference on Artificial Intelligence}, year = {2010}, note = {

n/a

}, month = {1}, pages = {1079{\textendash}1080}, publisher = {IOS Press}, organization = {IOS Press}, abstract = {

A general top-down algorithmization for the Well-Founded MKNF Semantics - a semantics for combining rules and
ontologies - was recently defined based on an extension of SLG resolution for Logic Programming with an abstract oracle to the parametric ontology language. Here we provide a concrete oracle with practical usage, namely for EL+ which is tractable for reasoning tasks like subsumption. We show that the defined oracle remains tractable
(wrt. data complexity) so that the combined (query-driven) approach of non-monotonic rules with that oracle is tractable as well.

}, isbn = {978-1-60750-605-8}, doi = {10.3233/978-1-60750-606-5-1079}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jja/files/ecai10.pdf}, author = {Matthias Knorr} }