- For example, enforcing security (ACLs)
- You want to see if Bob can access Resource1
- This can get hairy quick
- Finding this in a single query, or multiple related queries is not easy
Bob is-a Admin OR Bob created Resource1 OR (Bob hasRole ?x AND ?x canAccess Resource1) OR ...
- It doesn't get better writing a program
-
We can leverage reasoning to make this easier