Văn bản này: Consequence−Based Reasoning beyond Horn Ontologies