Reasoning paradigms for SWRL-enabled ontologies