An ExpSpace Tableau-based Algorithm for SHOIQ

Résumé : Cer article propose un algorithme ExpSpace basé sur tableaux pour vérifier la cohérence d'une base de connaissances en SHOIQ.
Liste complète des métadonnées

Littérature citée [30 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00570161
Contributeur : Chan Le Duc <>
Soumis le : samedi 2 juin 2012 - 11:38:07
Dernière modification le : mardi 22 mai 2018 - 20:40:06
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 10:42:04

Fichier

optimal-shoiq.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00570161, version 3

Citation

Chan Le Duc, Myriam Lamolle, Olivier Curé. An ExpSpace Tableau-based Algorithm for SHOIQ. [Research Report] 2012, pp.36. 〈inria-00570161v3〉

Partager

Métriques

Consultations de la notice

392

Téléchargements de fichiers

249