Explorer les théorèmes d'une TBox - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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.
Fichier principal
Vignette du fichier
ic2013-18.pdf (157.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01107332 , version 1 (20-01-2015)

Licence

Paternité

Identifiants

  • HAL Id : hal-01107332 , version 1

Citer

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. ⟨hal-01107332⟩
64 Consultations
299 Téléchargements

Partager

Gmail Facebook X LinkedIn More