RL description logic
= RL description logic
{c}
{title2=RL}
A rule-oriented <description logic> fragment designed for translation to function-free Horn rules, allowing constraints but excluding existential witness generation in rule conclusions. In an equivalence, each direction must meet the relevant restrictions. <OWL 2 Web Ontology Language Profiles (Second Edition)>[Section 4: OWL 2 RL]{ref}