Article Dans Une Revue
Proceedings of the International Semantic Web Conference
Année : 2013
Haki Shtalbi : Connectez-vous pour contacter le contributeur
https://univ-paris8.hal.science/hal-03243038
Soumis le : lundi 31 mai 2021-13:58:33
Dernière modification le : vendredi 11 mars 2022-22:22:01
Dates et versions
Identifiants
- HAL Id : hal-03243038 , version 1
Citer
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
10
Consultations
0
Téléchargements