Deakstadieđáhus: Foundations of Rule−Based Query Answering