Canal-U

Mon compte
Contacter le contributeur
J’aime
Imprimer
partager facebook twitter Google +

Inria



Formalisation en OWL

Cette cinquième partie du cours "Web sémantique et Web de données" aborde le standard OWL.

Au-dessus de RDFS, la recommandation OWL (Ontology Web Language) est une extension en trois fragments d’expressivité croissante: OWL Lite, OWL DL et OWL Full. Les différents fragments de cette extension sont basés sur une famille de langages appelée les logiques de description qui permettent des déductions supplémentaires, telles que la vérification de la cohérence d'un schéma, la classification automatique des types afin de générer des hiérarchies, ou l'identification automatique du type d'une ressource basée sur ses propriétés.

OWL permet la définition des classes en énumérant leur contenu ou par union, intersection, complément et disjonction avec d’autres classes. OWL permet également la caractérisation des propriétés (restriction de leur valeur ou leur cardinalité) et leurs caractéristiques algébriques (symétrique, transitive, fonctionnelle, fonctionnelle symétrique, propriété inverse). Enfin OWL fournit des primitives pour la gestion des équivalences entre différents schémas et entre les différentes versions d'un schéma.

Montons ensemble dans les tours... de la logique.

 
 
FMSH
 
Facebook Twitter Google+
Mon Compte