A Decision Procedure for $\mathcal{SHOIQ}$ with Transitive Closure of Roles

Chan Le Duc 1 Myriam Lamolle 2 Olivier Curé 3
1 Advanced Computer Science Laboratory of Saint-Denis (LIASD)
UP8 - Université Paris 8 Vincennes-Saint-Denis
2 liasd
LIASD - Laboratoire d'Informatique Avancée de Saint-Denis
Document type :
Conference papers
Complete list of metadatas

https://hal-upec-upem.archives-ouvertes.fr/hal-01740560
Contributor : Olivier Curé <>
Submitted on : Thursday, March 22, 2018 - 10:09:56 AM
Last modification on : Tuesday, May 22, 2018 - 8:40:11 PM

Identifiers

  • HAL Id : hal-01740560, version 1

Citation

Chan Le Duc, Myriam Lamolle, Olivier Curé. A Decision Procedure for $\mathcal{SHOIQ}$ with Transitive Closure of Roles. ISWC, 2013, Sydney, Australia. ⟨hal-01740560⟩

Share

Metrics

Record views

52