Pick the cheapest profile that works
Five flavours, one decision
| Profile | Optimised for | Typical use | Reasoner cost |
|---|---|---|---|
| OWL EL | classification of huge ontologies | bio-medical (SNOMED CT, GO) | polynomial |
| OWL QL | query rewriting over relational DBs | ontology-based data access (OBDA) | LOGSPACE |
| OWL RL | rule-based reasoning over instance data | enterprise knowledge graphs | polynomial |
| OWL DL | full DL expressivity, decidable | research, rich models | NEXPTIME-hard |
| OWL Full | RDF compatibility, undecidable | almost nobody on purpose | unbounded |
Rule of thumb: start in EL if your domain is taxonomy-heavy; RL if you're doing forward-chained inference on real data; DL only if you genuinely need expressivity neither EL nor RL gives you.
Slipping out of your chosen profile by adding one ill-considered axiom is the most common silent performance disaster in OWL projects. Use Protégé's profile checker.