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:
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:
Pas de cours
Édition de données RDF: Effectuer l'exercice page 64 du document Présentation RDF
Validateurs et convertisseurs pour RDF:
Sémantique des graphes nommés
SPARQL et Web de données ouvertes et liées (Linked Open Data)
Lectures supplémentaires:
Ressources supplémentaires:
SHACL et relations n-aires en RDF
Lectures supplémentaires:
Ressources supplémentaires:
Lectures supplémentaires:
Lectures supplémentaires:
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:
Construction d'une ontologie
Avant le prochain cours, faites la première version de l'ontologie.
Laboratoire
Construction d'une ontologie (suite)
Terminer la seconde itération de notre ontologie sur la mobilité
Exercice de développement d'ontologie avec SAMOD
Première itération:
Deuxième itération:
Examen 1
Cours séminaire sur les relations N-aires et RDF-Star
Documents à lire:
Ressources supplémentaires: