Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning (2014)

First Author: Kaminski M
Attributed to:  Score!: Scalable and Complete Reasoning with Incomplete Ontology Reasoners funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8201

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence