Login / Signup
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Mario Alviano
Wolfgang Faber
Nicola Leone
Marco Manna
Published in:
CoRR (2012)
Keyphrases
</>
disjunctive datalog
expressive power
polynomial hierarchy
query answering
disjunctive logic programming
first order logic
description logics
computational complexity
query containment
logic programming
computational properties
dl lite
operational semantics