Skip to Main content Skip to Navigation
Conference papers

Explorer les théorèmes d'une TBox

Julien Corman 1, *
* Corresponding author
1 IRIT-MELODI - MEthodes et ingénierie des Langues, des Ontologies et du DIscours
IRIT - Institut de recherche en informatique de Toulouse
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-01107332
Contributor : Alain Monteil <>
Submitted on : Tuesday, January 20, 2015 - 3:11:23 PM
Last modification on : Thursday, June 10, 2021 - 3:08:36 AM
Long-term archiving on: : Tuesday, April 21, 2015 - 11:26:09 AM

File

ic2013-18.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01107332, version 1

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. ⟨hal-01107332⟩

Share

Metrics

Record views

185

Files downloads

1261