Matière
Modélisation de connaissances
Description
Cet enseignement a pour but de présenter les principes et techniques permettant la représentation et la manipulation de connaissances dans des systèmes "intelligents".
Compétences requises
À l'entrée de cet enseignement l'étudiant devrait savoir :
- Connaissances de base en informatique
- Modélisation (bases de données ou objet)
- Logiques CP0, CP1
- SQL
Compétences visées
À l'issue de cet enseignement un·e étudiant·e saura :
- Utiliser des logiques avancées
- Modéliser des concepts, leurs propriétés et leurs relations avec des logiques avancées
- Développer et peupler une ontologie selon une démarche structurée
- Écrire des règles et des requêtes pour les ontologies
- Construire et interpréter des règles d’implication et d’association
Discipline(s)
- Informatique
Syllabus
Les principaux langages et outils de modélisation seront étudiés
- Logiques de descriptions : langages et raisonnements
- Règles d’implication et d’association
- Treillis de Galois
- Langages du web sémantique : RDF, RDFS, OWL
- Langages d’interrogation : SPARQL, SWRL
- Outils pour le développement d’ontologie : Protégé
Bibliographie
- Une introduction aux logiques de descriptions. Amedeo Napoli. RR-3314, INRIA. 1997, pp.72 https://hal.inria.fr/inria-00073375/document
- Le web sémantique : Comment lier les données et les schémas sur le web ? Fabien Gandon, Olivier Corby. Dunod. 2012, pp. 218
MCC
Les épreuves indiquées respectent et appliquent le règlement de votre formation, disponible dans l'onglet Documents de la description de la formation
- Régime d'évaluation
- ECI (Évaluation continue intégrale)
Évaluation initiale / Session principale - Épreuves
| Libellé | Type d'évaluation | Nature de l'épreuve | Durée (en minutes) | Coefficient de l'épreuve | Note éliminatoire de l'épreuve | Note reportée en session 2 |
|---|---|---|---|---|---|---|
Note 1 : Epreuve écrite | SC | ET | 120 | 3.5 | ||
Note 2 : Epreuve écrite | SC | ET | 120 | 3.5 | ||
Note 3 : Projet | SC | A | 3 |