Controle 2 19/20 BD2C - RDF, Ontologie, SWRL

## Questions:
Contrôle sur machine RDF/OWL2/SWRL
-- Partie RDF :

Donnez un graphe RDF modélisant la situation suivante :

L'étudiant ABBASSI Abbass, inscrit à la filière SMI, a eu la note de 18 à l'examen du module Java dont le responsable est le professeur ANDALOUSSI Said. L'examen s'est déroulé le 12 Février 2021.

-- Partie OWL2 :

Proposez une ontologie OWL2 pour les fait ci-dessous :

Au Maroc, les universités posèdent un nom et un ensembme d'établissements de différents types et qu'on peut regrouper en deux grandes catégories : Les facultés (FS, FSJES, FLSH, FMP, FMD et FST) et les écoles (ENCG, EST et EIng).

Aussi, les établissements sont catégorisés d'une autre manière :

Etablissements à accès régulé incluant toutes les écoles en plus des FMD, FMP et FST
Etablissements à accès ouvert contenant le reste.
De plus, chaque établissement possède un nom et une année de création.

Enfin, Créez les instances pour :

L'université Hassan II
Ecole Nationale supérieure d'éléctricité et de Mécanique (dépendant de l'université Hassan II)
Faculté des sciences Aïn Chock (dépendant de l'université Hassan II)


-- Partie SWRL :

Créez des règles pour cette ontologie permettant de déduire les individus des classes suivantes :

Célibataire (Majeur et non marié(e))
Etudiant
Femme
FemmeMariée
Homme
HommeMarié
Mineur (agé de moins de 18 ans)
Salarié
Modifiez l'ontologie et uploadez la !

------------------------------------------------

## Correction, Regles
Personne(?m) ^ age(?m, ?a) ^ swrlb:greaterThanOrEqual(?a, 18) ^ siMarié(?m, False) -> Célibataire(?m)

Personne(?m) ^ Université(?u) ^ inscrit(?m, ?u) -> Etudiant(?m)

Personne(?m) ^ sexe(?m, ?s) ^ swrlb:matches(?s, "F") -> Femme(?m) -- or simply (sexe(?m, "F")

Femme(?f) ^ siMarié(?f, true) -> FemmeMariée(?f)

Personne(?m) ^ sexe(?m, ?s) ^ swrlb:matches(?s, "H") -> Homme(?m) -- or simply (sexe(?m, "H")

Homme(?h) ^ siMarié(?h, true) -> HommeMarié(?h)

Personne(?m) ^ age(?m, ?a) ^ swrlb:lessThan(?a, 18) -> Mineur(?m)

Personne(?m) ^ Organisme(?o) ^ travaille(?m, ?o) -> Salarié(?m)