On the relation between SPARQL1.1 and Answer Set Programming
Classical negation in logic programs and disjunctive databases