Vous êtes sur la page 1sur 2

Université de Jijel Durée 1H30, Documentation non autorisée

Département d’informatique
Troisième année Licence
Examen du Web Sémantique
NOM & Prénom & Groupe …………………….…………………………….…………………………….……
Exercice 1 / Vrai ou faux (6 points)
1. Une Taxonomie peut être codée avec RDFS……………………………………………………….
2. Avec HTML, on ne peut pas définir des métadonnées………………………………………….
3. Le langage OWL est extensible ………………………………………….………………………………
4. Dans XML schéma, on peut utiliser l’attribut use avec xsd:element ……………….....
5. Un document XML est une page web avec l’extension .html………………………………...
6. Un URI est un URL ………………………………….……………………………………...…………………
7. Un document XML valide n’est pas forcément bien formé…………………………………..
8. Un document RDF correspond à un graphe RDF………………………………………………...
9. L’objet dans un triplet RDF est toujours un littéral……………………………………………..
10. FOAF est une ontologie……………………………………………………………………………………..
11. La notation N3 possède une syntaxe XML…………………………….………………..…………..
12. Dans XML-schéma, les attributs ref et name ne peuvent être utilisés ensemble…..
Exercice 2/ Répondre très brièvement (4 points)
1. Citer les quatre éléments du vocabulaire RDF utilisés pour la Réification.
…………………………………………………………………………………..…………………………….………
…………………….…………………………….…………………………….…………………………….………...
2. Donner la signature de rdf:type
…………………………………………………………………………………..…………………………….………
3. Citer l’élément de RDFS qui permet d’exprimer la hiérarchie entre les propriétés.
…………………….…………………………….…………………………….…………………………….………...
4. Citer Trois prédicats (relations) du vocabulaire FOAF.
…………………….…………………………….…………………………….…………………………….………...
5. Pourquoi les logiques ALC et ALEU sont équivalentes (justifier formellement) ?
…………………….…………………………….…………………………….…………………………….………...
6. Justifier formellement pourquoi : Personne ≡ Etre_Humain ?
…………………….…………………………….…………………………….…………………………….………...
7. Quelles sont les deux dernières étapes de construction d’une ontologie ? Donner
ce qu’on obtient à la fin de chaque étape.
Etape ……………………………………………… Donne : …………………………………………
Etape ……………………………………………… Donne : …………………………………………

Page 1 sur 2
Exercice 3 /2 points
1. Pourquoi le code XML suivant n’est pas valide par rapport à son schéma XML?
2. Comment corriger le schéma XML pour que le code XML devienne valide ?

<?xml version="1.0" encoding="UTF-8"?>


<xs:schema
xmlns:xs="…/2001/XMLSchema">
<xs:element name="computer">
<xs:complexType> <xs:sequence> <?xml version="1.0" encoding="UTF-8"?>
<xs:element name="keyboard" /> <computer>
<xs:element name="mouse" /> <keyboard>105 keys</keyboard>
<xs:element name="monitor" /> </computer>
</xs:sequence> </xs:complexType>
</xs:element></xs:schema>
Exercice 4 /4 points
Soit le document RDF ci-dessous :
1. Donner le code OWL qui décrit la TBOX de l’ontologie correspondante.
2. Donner l’ABOX de l’ontologie correspondante en logique de description.
3. Donner une interprétation simple qui satisfait cette ontologie.
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:ens="http://pays.edu/#">
<rdf:Description rdf:about="&ens;Algeria">
<rdf:type rdf:resource="&ens;country"/></rdf:Description>
<rdf:Description rdf:about="&ens;capital_of">
<rdf:type rdf:resource="&rdfs;Property"/>
<rdfs:domain rdf:resource="&ens;city" />
<rdfs:range rdf:resource="&ens;country"/></rdf:Description>
<rdf:Description rdf:about="&ens;country">
<rdf:type rdf:resource=”&rdfs;Class"/></rdf:Description>
<rdf:Description rdf:about="&ens;Algiers"> <rdf:type rdf:resource="&ens;city"/>
< ens:capital_of rdf:resource="&ens;Algeria"/></rdf:Description></rdf:RDF>

Exercice 5 /2 points
Soient les graphes RDF suivants:
G1 = { eg: x eg: k eg :y . eg: x eg: n eg:z . eg: x eg: m eg:w . }
G2= { _:id1 eg: k _:id2 . }
1. Vérifier si: G1 ⊨ G2 (donner les règles de déduction utilisées).
2. Donner le résultat d’exécution de la requête SPARQL suivante sur G1:
CONSTRUCT { ?b eg: m ?c } WHERE { ?a eg: n ?b . ?a eg: m ?c . }
Exercice 6 /2 points
Soit 𝐾 = (𝑇, 𝐴) tel que T = {F⊑ (𝐸 ∩ ¬𝑀)} et A= {𝑀(𝑎)}
En exploitant l’algorithme des Tableaux Sémantiques, peut-on inférer à partir de K
que: 𝐅 ⊑ ¬𝐌 ?

Page 2 sur 2

Vous aimerez peut-être aussi