Publications

Export 4 results:
Sort by: [ Title (Asc)] Year
A B C D E F G H I J K L M N O P [Q] R S T U V W X Y Z   [Show ALL]
Q
Alferes, {José Júlio Alves}. "Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling." Lecture Notes in Computer Science. Vol. 5823. 2009. 1-16. Abstract
n/a
Alferes, José Júlio, Matthias Knorr, and Terrance Swift. "Query-Driven Procedures for Hybrid MKNF Knowledge Bases." ACM Transactions On Computational Logic. 14.2 (2013). Abstracttocl13.pdf

n/a

Knorr, Matthias. "Querying EL+ with Nonmonotonic Rules." ECAI 2010 - 19th European Conference on Artificial Intelligence. IOS Press, 2010. 1079-1080. Abstractecai10.pdf

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.

Knorr, Matthias, and José Júlio Alferes. "Querying OWL 2 QL and Non-monotonic Rules." The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference Science. Springer, 2011. 338-353. Abstractiswc11.pdf

n/a