 |
 |
Journal articles
A Decision Procedure for SHOIQ with Transitive Closure of Roles: article publié dans actes de colloque
https://hal-univ-paris8.archives-ouvertes.fr/hal-03243038
Contributor : Haki Shtalbi Connect in order to contact the contributor
Submitted on : Monday, May 31, 2021 - 1:58:33 PM
Last modification on : Tuesday, June 1, 2021 - 3:22:09 AM
Contributor : Haki Shtalbi Connect in order to contact the contributor
Submitted on : Monday, May 31, 2021 - 1:58:33 PM
Last modification on : Tuesday, June 1, 2021 - 3:22:09 AM