OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Explorer les théorèmes d'une TBox

Corman, Julien Explorer les théorèmes d'une TBox. (2013) In: 24emes Journees Francophones d'Ingenierie des Connaissances (IC 2013), 3 July 2013 - 5 July 2013 (Lille, France).

[img]
Preview
(Document in French)

PDF (author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
95kB

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:26 Oct 2015 15:55

Repository Staff Only: item control page