Role Roles name binary relations in a Description Logic. Just like binary relations did in First-Order Predicate Logic.