Even though the basic concept of role hierarchy is
quite standard, the structural specifics of building a hierarchy
are not clearly defined. For the purpose of our
paper, we now formally provide the additional requirements
needed by our approach. Note that we use the
symbols, and to denote direct inheritance, indirect
inheritance and both, respectively, in the remainder
of the paper.