Martin Knechtel Jan Hladik Frithjof Dau Using OWL DL Reasoning to Decide about authorization in RBAC. 2008 OWLED http://ceur-ws.org/Vol-432/owled2008eu_submission_5.pdf conf/owled/2008 db/conf/owled/owled2008.html#KnechtelHD08