Ontologie pour la vérification des représentations conceptuelles

Les méthodes les plus utilisées en conception de systèmes d¿information sont basées principalement sur l¿utilisation de divers diagrammes, d¿explications en langue naturelle et de guides méthodologiques. Toutefois, leur inconvénient est l¿absence d¿une sémantique précise permettant de vérifier les modèles obtenus. Comme solution, nous avons proposé l¿utilisation des ontologies comme un moyen d¿assistance aux concepteurs durant leur tâche de modélisation pour un domaine donné. Dans ce livre, nous avons proposé une méthodologie de construction des ontologies pour la résolution des conflits possibles lors de la conception des systèmes d¿information. La construction de l¿ontologie se base sur un ensemble de RC orientées objet pour un domaine donné. Cette méthodologie est composée de quatre étapes, la construction initiale de l¿ontologie, son alimentation, sa représentation avec le langage proposé et sa maintenance. Ce livre s'adresse à toute personne désireuse de comprendre les ontologies : définitions, caractéristiques et conception, aux concepteurs des SI et aux étudiants chercheurs.