Thèse

Intitulé : « COPS : une ontologie des programmes et logiciels informatiques »

Résumé :

Le domaine des programmes informatiques fait l'objet depuis plusieurs années d'investigations ontologiques, l'enjeu étant de disposer de descriptions conceptuelles des programmes pour mieux maîtriser leur conception et leur utilisation. Il s'avère toutefois que les efforts entrepris jusqu'à présent n'ont permis d'aboutir qu'à des résultats partiels.

Dans cette thèse, nous nous intéressons à la construction d'une ontologie générale des programmes (COPS : Core Ontology of Programs and Software) intégrant des concepts et relations centraux de ce domaine. L'ontologie spécialise ainsi l'ontologie formelle de haut niveau DOLCE ainsi que des ontologies générales d'autre domaines (ex. : documents, artefacts, images) situées à des niveaux d'abstraction plus élevés. Cette démarche nous permet de rendre compte de la nature duale des programmes en les assimilant tout à la fois à des entités syntaxiques, des expressions formulées dans un langage de programmation, et à des artefacts dont la fonction est de permettre à des ordinateurs de réaliser des traitements de l'information.

Mots-clés : ontologies formelles et de haut niveau (foundational ontologies), ontologies « noyaux » (core ontologies), ontologies de programmes, métadonnées, DOLCE, I&DA