Wyślij wiadomość: Consequence−Based Reasoning beyond Horn Ontologies