Explorer les théorèmes d'une TBox

Résumé : Résumé : Nous présentons deux tests appliqués à plusieurs ontologies de domaine, afin d'identifier de possibles erreurs de modélisation, comprises ici comme des dé-calages entre ce que l'ontologie exprime et ce que son auteur souhaite exprimer. Ces tests viennent en complément de méthodologies et outils existants, et s'appliquent en particulier à des ontologies dont la consistance logique a déjà été vérifiée. Ils sont basés sur l'exploration d'une classe de théorèmes de l'ontologie évaluée. Le premier test fait également usage d'un sous-ensemble de catégories de l'ontologie fondationnelle DOLCE.
Type de document :
Communication dans un congrès
IC - 24èmes Journées francophones d'Ingénierie des Connaissances, Jul 2013, Lille, France. 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01107332
Contributeur : Alain Monteil <>
Soumis le : mardi 20 janvier 2015 - 15:11:23
Dernière modification le : mercredi 23 mai 2018 - 17:58:06
Document(s) archivé(s) le : mardi 21 avril 2015 - 11:26:09

Fichier

ic2013-18.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-01107332, version 1

Collections

Citation

Julien Corman. Explorer les théorèmes d'une TBox. IC - 24èmes Journées francophones d'Ingénierie des Connaissances, Jul 2013, Lille, France. 2013. 〈hal-01107332〉

Partager

Métriques

Consultations de la notice

83

Téléchargements de fichiers

162