Reasoning paradigms for OWL ontologies