Généralités
- Autres ressources:
Autres manuels complémentaires
Remarque: les documents créés par Michel Gagnon disponibles sur ce site peuvent être réutilisés selon la licence Creative Common:
Aperçu des semaines
30 août - 2 septembre
- Thème:
- Introduction au web sémantique
- Lecture suggérée:
- T. Berners-Lee, J, Hendler, Ora Lassila, The Semantic Web, Scientific American, 2001.
- Ressources supplémentaires:
13 septembre au 17 septembre
- Thème:
- Modèle de données RDF
- Lecture obligatoire:
- Lectures complémentaires:
Édition de données RDF: Effectuer l'exercice page 64 du document Présentation RDF
- Resources supplémentaires:
- Syntaxes concrètes de RDF:
Validateurs et convertisseurs pour RDF:
20 septembre - 24 septembre
- Thème:
- Sémantique du modèle RDF
Sémantique des graphes nommés
- Lectures obligatoires:
- Lectures supplémentaires:
27 septembre - 1 octobre
- Thème:
SPARQL et Web de données ouvertes et liées (Linked Open Data)
- Lectures obligatoire:
Lectures supplémentaires:
Ressources supplémentaires:
4 octobre - 8 octobre
- Thème:
SHACL et relations n-aires en RDF
- Lectures:
Lectures supplémentaires:
Ressources supplémentaires:
- Laboratoire:
11 octobre - 15 octobre
- Semaine de relâche
18 octobre - 22 octobre
- Thème:
- Introduction à la logique descriptive
- Lectures:
Lectures supplémentaires:
- F. Baader, W. Nutt, Basic Description Logics, In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002.
- Ontologies:
- Laboratoire:
25 octobre - 29 octobre
- Thème:
- Inférence en logique descriptive
- Lectures:
Lectures supplémentaires:
1 novembre - 5 novembre
- Thème:
- Langage OWL
- Lectures:
Faire les exercices suivants de la section 6, en vous servant de votre connaissance de la sémantique de la logique descriptive:
Exercice 6.4: Eliminez la TBOX et appliquez les règles d'équivalence loqique.
Exercice 6.5. Utilisez les deux principes suivants: 1) Si on a une instance de la classe (C ⊓ D), celle-ci est nécessairement une instance de C et une instance de D; 2) Si une entité a est une instance de la classe (∃R.C), c'est qu'il doit exister au moins un entité b telle que R(a,b) et C(b). Vous aurez plusieurs cas à considérer pour faire votre raisonnement.
Exercice 6.7. Eliminez la TBox et utilisez les règles d'équivalence logique.
Exercice 6.8. Pour (a), demandez-vous si C ⊓ D ⊑ E implique ∀E.(C ⊓ D) ⊑ ∀R.E . Pour (b) assurez-vous de bien comprendre la sémantique du quantificateur universel.
Exercice 6.10. Utilisez le principe suivant: pour démontrer A ⊑ B, il suffit de montrer qu'il est impossible d'avoir une entité qui appartient à la fois à la classe A et la classe B.
Exercice 6.14
Exercice 6.15a.
Pour faire l'exercice qui suit, assurez-vous de bien comprendre la syntaxe fonctionnelle de OWL et sa traduction en RDF (notation Turtle), tel qu'expliqué dans la section 9 des notes de cours du professeur, et dans le document du W3C.
Lectures supplémentaires:
8 novembre - 12 novembre
- Thème:
Construction d'une ontologie
- Lectures:
Avant le prochain cours, faites la première version de l'ontologie.
- Ressources supplémentaires:
Laboratoire
15 novembre - 19 novembre
- Thème:
Construction d'une ontologie (suite)
- Lectures et tâches:
Terminer la seconde itération de notre ontologie sur la mobilité
- Ontology development 101 (lire les sections 4, 5 et 6)
Exercice de développement d'ontologie avec SAMOD
Première itération:
Deuxième itération:
22 novembre - 26 novembre
Examen 1
29 novembre - 3 décembre
- Thème:
Cours séminaire sur les relations N-aires et RDF-Star
Documents à lire:
Ressources supplémentaires:
9 décembre - 15 décembre
- Thème:
Web sémantique: bilan et perspectives - Lectures: