A Decision Procedure for SHOIQ with Transitive Closure of Roles - Archive ouverte HAL Access content directly
Journal Articles Proceedings of the International Semantic Web Conference Year : 2013

A Decision Procedure for SHOIQ with Transitive Closure of Roles

(1) , (1) ,
1
Chan Le Duc
Laboratoire d'Informatique Avancée de Saint-Denis
Myriam Lamolle
  • Function : Author
Laboratoire d'Informatique Avancée de Saint-Denis
Olivier Curé
  • Function : Author

Domains

Computer Science [cs]

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

Not file

Dates and versions

hal-03243038 , version 1 (31-05-2021)

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS8 LIASD UNIV-PARIS-LUMIERES
9 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More