A Decision Procedure for SHOIQ with Transitive Closure of Roles - Université Paris 8 Vincennes - Saint-Denis Accéder directement au contenu
Article Dans Une Revue Proceedings of the International Semantic Web Conference Année : 2013

A Decision Procedure for SHOIQ with Transitive Closure of Roles

Chan Le Duc
Laboratoire d'Informatique Avancée de Saint-Denis
Myriam Lamolle
  • Fonction : Auteur
Laboratoire d'Informatique Avancée de Saint-Denis
Olivier Curé
  • Fonction : Auteur

Domaines

Informatique [cs]

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

Fichier non déposé

Dates et versions

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS8 LIASD UNIV-PARIS-LUMIERES
10 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More