Hybrid Reasoning with Rules and Ontologies