Résumé de section

    • Thème:
    • Langage OWL
    • Lectures:
    • Logique descriptive et OWL (bien relire les sections 5 et 9) Fichier
    • Règles d'équivalence logique Fichier

    • 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.4 - Solution Page
    • Exercice 6.4 - Solution alternative Page

    • 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.5 - Solution avec preuve par construction Page
    • Exercice 6.5 - Solution avec preuve par réfutation Page

    • Exercice 6.7. Eliminez la TBox et utilisez les règles d'équivalence logique.

    • Exercice 6.7 - Solution avec preuve par construction Page
    • Exercice 6.7 - Solution avec preuve par construction (copie) Page
    • Exercice 6.7 - Solution alternative Page

    • 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.8 (a) - Solution avec preuve par construction Page
    • Exercice 6.8 (a) - Solution avec preuve par réfutation Page

    • 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.10 - Solution par réfutation Page

    • Exercice 6.14

    • Exercice 6.14 - Solution par réfutation Page

    • Exercice 6.15a.

    • Exercice 6.15a - Solution Page
    • Exercice 6.15a - Solution alternative Page

    • 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. 

    • Exercice OWL à faire Page

    • Lectures supplémentaires: