Stav dette: Foundations of Rule−Based Query Answering