Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
From MaRDI portal
Publication:286087
DOI10.1016/j.artint.2016.03.006zbMath1357.68228MaRDI QIDQ286087
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Publication date: 19 May 2016
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2016.03.006
knowledge representation; reasoning; description logics; query answering; ontologies; Datalog rewritability; disjunctive Datalog; rule languages
Uses Software