Distributed Rule-Based Ontology Reasoning