Journal Articles
Proceedings of the International Semantic Web Conference
Year : 2013
Haki Shtalbi : Connect in order to contact the contributor
https://hal-univ-paris8.archives-ouvertes.fr/hal-03243038
Submitted on : Monday, May 31, 2021-1:58:33 PM
Last modification on : Friday, March 11, 2022-10:22:01 PM
Dates and versions
Identifiers
- HAL Id : hal-03243038 , version 1
Cite
Chan Le Duc, Myriam Lamolle, Olivier Curé. A Decision Procedure for SHOIQ with Transitive Closure of Roles: article publié dans actes de colloque. Proceedings of the International Semantic Web Conference, 2013, pp.264-279. ⟨hal-03243038⟩
Collections
9
View
0
Download