Consequence-Based Reasoning beyond Horn Ontologies