We have three types of module permissions:
|•||Read permission (hasReadPermission)|
|•||Write permission (hasWritePermission)|
|•||Temporary write permission (hasTempWritePermission)|
When a user has read permission he is allowed to read all of the facts from the corresponding module and he can use rules with body formulas which access the module.
Write permission grants a user write access to a module. This also means that the user is allowed to use rules with head formulas which access the corresponding module.
Temporary write permission for a module means that the user is not allowed to change facts of the module, but it is possible to execute queries with temporary facts which add new facts and rules for the duration of the query.
Important note for ontology imports: User U has r-rights for ontology A which imports ontology B -> no "inherited" rights for ontology B.