L’origine des ontologies

Table des matières

Introduction générale
Chapitre I : Les ontologies comme outil de représentation de connaissances
1.Introduction
2 La notion d‟ontologie
2.1 L‟origine des ontologies
2.2 Les ontologies au sein du processus de représentation des connaissances
2.3 Les constituants d‟une ontologie
2.3.1 Connaissances et domaine de connaissance
2.3.2 Les concepts et les relations
3 Les connaissances inférentielles
4 Conclusion
Chapitre II : Les logiques de descriptions
1.Introduction
2.Définition du formalisme de base
2.1 Les langages de description
2.1.1 Le langage de description basique AL
2.1.2 La famille des langages AL
2.1.3 Les langages de description et la logique des prédicats du premier ordre
2.2 Terminologies
2.2.1 Axiomes terminologiques
2.2.2 Définitions
2.2.3 Terminologies définitoriales
2.2.4 Terminologies acycliques et terminologies cycliques
2.2.5. Les sémantiques du fixe point pour les terminologies cycliques
3 Descriptions du monde Abox
3.1 Les assertions sur les individus
3.2 Les noms d‟individus dans les langages de description
Conclusion
Chapitre III : Le raisonnement dans les DL
1.Introduction
2.Tâches de raisonnement pour la TBox
3.L’élimination du TBox
4.Tâches de raisonnement pour la Abox
5.Les algorithmes de raisonnement
5.1 Algorithmes de subsomption structurelle
5.2 Algorithmes de tableaux
Conclusion
Chapitre IV : Etude et réalisation d’un raisonneur dans les logiques de descriptions
1.Introdction
2.Présentation de l‟application développée
3.Les algorithmes développés
3.1 L‟algorithme de subsomption structurelle
3.1.1 La technique unfolding
3.1.2 L‟algorithme
3.1.3 Subsomption et propriétés de treillis
3.2 L‟algorithme des tableaux sémantiques
3.3 Variante sur l‟algorithme de tableaux sémantiques
3.exemples d‟interrogations de la base
Conclusion
Conclusion et perspectives
Bibliographie