Logics for Data and Knowledge Representation Application of DLs: RelBAC.
Logics for Data and Knowledge Representation