Search
 
loader loading subjects...
cover
Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules
Matthias Knorr, José Júlio Alferes
1079 - 1080
10.3233/978-1-60750-606-5-1079
Frontiers in Artificial Intelligence and Applications
Volume 215: ECAI 2010
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 [Escr ][Lscr ]+ 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.

Download
Creative Commons License