 OWL 2 Web Ontology Language Profiles (Second Edition)

The profile grammar distinguishes positions where existential and universal restrictions are allowed. Section 4 supplies the RL description logic restrictions and Section 5 gives complexity tables. The EL profile here includes bottom and disjointness; its satisfiability result should not be confused with the trivial satisfiability of EL without bottom.