Introduction à la Logique de Description (résumé)
Utilisé pour le test de satisfiabilité (consistance) d'une expression de concepts C ... Autres couches (par exemple SWRL ? Semantic Web Rule.Télécharger Introduction à la Logique de Description (résumé) pdf
