Definition (Role Inclusion Axiom, RIA). A role inclusion axiom is a statement of the form S1 ∘ … ∘ Sn ⊑ R.
