Reasoning about delegation and revocation schemes in answer set programming