Deakstadieđáhus: Consequence−Based Reasoning beyond Horn Ontologies