Skip to Main content Skip to Navigation
Journal articles

A Decision Procedure for SHOIQ with Transitive Closure of Roles: article publié dans actes de colloque

Chan Le Duc 1 Myriam Lamolle 1 Olivier Curé
1 LIASD - Laboratoire d'Informatique Avancée de Saint-Denis
Document type :
Journal articles
Complete list of metadata
https://hal-univ-paris8.archives-ouvertes.fr/hal-03243038
Contributor : Haki Shtalbi <>
Submitted on : Monday, May 31, 2021 - 1:58:33 PM
Last modification on : Tuesday, June 1, 2021 - 3:22:09 AM

Identifiers

  • HAL Id : hal-03243038, version 1

Collections

UNIV-PARIS8 | LIASD | UNIV-PARIS-LUMIERES

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

7