Sommaire

Démonstration : raisonner sur les types de données pour classifier

La présente démonstration a pour objectif de démontrer en trois sections l’usage des types de données en tant qu’outils de raisonnement et de classification des éléments contenus dans l’ontologie de démonstration, soit l’ontologie des âges. La première section présente la partie conceptuelle de l’ontologie des âges. Elle présente les éléments conceptuels ainsi que les critères de classification employés dans l’ontologie. La deuxième section présente la base de faits qui expérimente les différentes situations de classification de l’ontologie. La troisième section présente une base de faits construite selon le paradigme du monde fermé afin d’en faire ressortir les conséquences sur le raisonnement.

1. Cadre conceptuel de l’ontologie des âges

Le modèle de la partie conceptuelle de l’ontologie des âges contient un ensemble de type de données et de restrictions existentielles sur les types de données qui permettent la classification d’individus.

a. Modèle du cadre conceptuel de l’ontologie des âges

Le modèle de la figure 8.7 présente neuf définitions conceptuelles :

  • Le « personAge » est un type de données d’entiers qui définit une plage de valeurs comprises ...