We can make authorization decision and perform seniority levels reasoning via an OWL reasoner.Moreover, conflicts among related authorization rules can be detected by consistency check.

• 在推理机的支持下，除了能够访问控制决策推理外，还可以判定授权规则间的优先关系，并发现相关规则间的策略冲突。