Chapitre 4 Langage d'ontologie du web : OWL

Slides:



Advertisements
Présentations similaires
MOT Éditeur de modèles de connaissances par objets typés
Advertisements

DTD Sylvain Salvati
RDF Schema pour les ontologies légères
Calcul géométrique avec des données incertaines
Spécification et qualité du logiciel
Systèmes en temps réel Modélisation du comportement en temps réel avec UML.
Urbanisation de Systèmes d'Information
Les espaces de nommage XML par Philippe Poulard 1
M.E.D.A.L. Module dEnseignement à Distance pour lArchitecture Logicielle Alain VAILLY Diapositive n° 1 IUP MIAGE - Université de NANTES IUP-MIAGE 3ème.
UML - Présentation.
Ontologie, Méta-données, Sémiotiques
Les méthodes formelles en ingénierie des connaissances Damien Lhomme-Desages Jérémie Barlet.
Représentation formelle des ontologies
Système formel Nous avons introduit : signes de variables (x, y, z, …), de constantes (0, 1), d’opérations (+, ), de relations (=, ) Axiomes : ce sont.
INTRODUCTION.
Leçon 3 : Héritage IUP 2 Génie Informatique
Introduction à la POO: Les classes vs les objets
Etude des Technologies du Web services
Principes de la technologie orientée objets
Les Cas d’utilisation.
Concepts de base : la Classe Pour faire une comparaison simple, une classe serait a priori, une structure C avec des variables et des fonctions.
Web Sémantique: Le Relief Actuel
Introduction à la conception de Bases de Données Relationnelles
RDF(S)
Introduction à la structuration des documents: les techniques M2: Gestion des connaissances.
Techniques de test Boulanger Jean-Louis.
OIL & UPML DREVET - HUMBERT Introduction OIL : un langage de description dontologies UPML : un langage de description de systèmes à base.
MOT Éditeur de modèles de connaissances par objets typés
W3C OWL Ontology Web Language
Gestion de Fichiers Indexes basés sur les structures d’arbres binaires et indexes à niveaux multiples.
Algèbre Relationnelle
Sémantique dénotationnelle
Leçon 1 : notion dobjet IUP Génie Informatique Besançon Méthode et Outils pour la Programmation Françoise Greffier Université de Franche-Comté.
Initiation à la conception des systèmes d'informations
Programmation non procédurale Le projet ECOLE 2000
Modélisation des opérations Spécifier les transformations détat que lon attend des services de la machine Létat dune machine entièrement déterminée par.
Les logiques de descriptions
Paradigmes des Langages de Programmation
Chapter 8A Semantic Web Primer 1 Chapitre 8 - Conclusions et perspectives Grigoris Antoniou Frank van Harmelen.
JavaScript.
Algorithmique et programmation (1)‏
Web sémantique Par Lydia Carine Mampais KI Bamba SISSOKO
Technologies web et web sémantique TP3 - XML. XML eXtensible Markup Language (langage extensible de balisage) – Caractéristiques: méta-langage = un langage.
D.E ZEGOUR Ecole Supérieure d’Informatique. Problèmes de décision Concepts de base Expressions régulières Notation particulière pour exprimer certaines.
Tutorat en bio-informatique Le 14 novembre Au programme… Les objets –Propriétés (attributs) –Constructeurs –Méthodes.
Le langage Racket (Lisp)
Web sémantique est pratique documentaire
Initiation à la conception des systèmes d'informations
Sélection de colonnes (la projection)
François CARCENAC,Frédéric BONIOL ONERA-DTIM Zoubir MAMMERI IRIT
Soutenance du mémoire de synthèse
Module : Langage XML (21h)
Modélisation des documents: DTD et Schéma
eXtensible Markup Language. Généralités sur le XML.
Hiver 2004SEG2501 Chapître 41 Chapître 4 SDL – structure d’un système et son comportement.
Lylia Abrouk Université de Bourgogne
Protégé Lylia Abrouk.
Stage à Ontomantics Master Pro TILDE
Nouvelles Technologies Internet & Mobile
Introduction à la Programmation Orientée Objet
Chapitre 1 introduction au web sémantique
Chapitre 4 La représentation des nombres.
La Modélisation : représenter la réalité dans un système informatisé
LOGIQUE ET PROGRAMMATION LOGIQUE
Introduction Module 1.
Dániel Darvas (CERN BE-ICS-PCS) Spécification formelle pour les API CERN-ESTEREL séminaire 21/01/2016, CERN Travail conjoint avec B. Fernández, E. Blanco,
Les bases de données Séance 3 Construction du Modèle Conceptuel de Données.
1 Tableur Excel. 2 Introduction Un tableur est un logiciel permettant de manipuler des données numériques et d'effectuer automatiquement des calculs sur.
Transcription de la présentation:

Chapitre 4 Langage d'ontologie du web : OWL Grigoris Antoniou Frank van Harmelen Chapter 4 A Semantic Web Primer

Sommaire Fondements de OWL Le langage OWL Exemples L'espace des noms OWL Extensions futures Chapter 4 A Semantic Web Primer

Critères des langages d'ontologie Les langages d'ontologie permettent d'écrire des conceptualisations formelles et explicites des modèles de domaines Les critères essentiels sont: une syntaxe précise l'efficacité du support de raisonnement une sémantique formelle une puissance d'expression suffisante la facilité d'expression Chapter 4 A Semantic Web Primer

Compromis entre puissance d'expression et efficacité du support de raisonnement Plus le langage est riche plus le support de raisonnement devient inefficace Parfois, elle traverse la frontière de la non calculabilité On recherche donc un compromis un langage supporté par des raisonneurs assez efficaces un langage capable d'exprimer de vastes classes d'ontologies et de connaissances Chapter 4 A Semantic Web Primer

Raisonner à propos des connaissances dans les langages d'ontologie Faire partie d'une classe Si x est une instance de la classe C et C une sous-classe de D, on peut inférer que x est une instance de D Equivalence des classes Si la classe A est équivalente à la classe B, et classe B équivalente à la classe C, A est aussi équivalente à C Chapter 4 A Semantic Web Primer

Raisonner à propos des connaissances dans les langages d'ontologie (2) Cohérence X instance des classes A et B, mais A et B sont disjoints c'est l'indication d'une erreur dans l'ontologie Classification certaines paires propriété-valeur constituent une condition suffisante pour faire partie de la classe A; si un individu x remplit ces conditions, on peut conclure que x est une instance de A. Chapter 4 A Semantic Web Primer

Utilisations du raisonnement Le support du raisonnement est important pour vérifier la cohérence de l'ontologie et des connaissances vérifier les relations involontaires entre les classes ranger automatiquement les instances en classes Ce genre de vérifications est utile pour concevoir de grandes ontologies impliquant de nombreux auteurs intégrer et partager les ontologies de plusieurs sources Chapter 4 A Semantic Web Primer

Support de raisonnement de OWL La sémantique est un préalable du support de raisonnement La sémantique formelle et le support de raisonnement sont généralement fournis par la cartographie du langage d’ontologie jusqu'à un formalisme logique connu l'utilisation de raisonneurs automatiques existant déjà pour ces formalismes OWL est (en partie) calqué sur une logique descriptive et fait appel à des raisonneurs comme FaCT et RACER La logique descriptive est un sous-ensemble de la logique de prédicat pour laquelle le support de raisonnement efficace est possible Chapter 4 A Semantic Web Primer

Restrictions de la puissance d'expression de RDF Schema Portée locales des propriétés rdfs:range définit l'étendue d'une propriété (par ex. mange) pour toutes les classes En RDFS, on ne peut pas déclarer des restrictions d'étendue ne s'appliquant qu’à certaines classes par ex., on ne peut pas dire que les vaches sont uniquement herbivores tandis que d'autres animaux sont aussi carnivores Chapter 4 A Semantic Web Primer

Restrictions de la puissance d'expression de RDF Schema (2) Disjonction des classes on veut parfois exprimer que des classes sont disjointes (par ex. mâle et femelle) Combinaisons booléennes On veut parfois construire de nouvelles classes en combinant d'autres classes par union, intersection et complément par ex. personne est l'union disjointe des classes mâle et femelle Chapter 4 A Semantic Web Primer

Restrictions de la puissance d'expression de RDF Schema (3) Restrictions de cardinalité par ex., une personne a exactement deux parents et, évidemment, reçoit l'enseignement d'au moins un professeur Caractéristiques particulières des propriétés Propriété transitive (comme "plus grand que") Propriété unique (comme "est mère de") Propriété inverse d'une autre (comme "mange" et "est mangé par") Chapter 4 A Semantic Web Primer

Combinaison de OWL et RDF Schema Dans l'idéal, OWL devrait étendre RDFS c'est cohérent avec l'architecture en couches du web sémantique Mais étendre simplement RDFS ne fonctionnerait pas pour obtenir la puissance d'expression et l'efficacité de raisonnement la combinaison de RDFS avec la logique conduit à des particularités de calcul indéterminables Chapter 4 A Semantic Web Primer

Les trois espèces de OWL Le groupe de travail Ontologie W3C’sWeb définit OWL en trois sous-langages : OWL Full OWL DL OWL Lite Chaque sous-langage visant à satisfaire à plusieurs aspects des critères Chapter 4 A Semantic Web Primer

OWL Full Utilise toutes les primitives des langages OWL Permet de combiner ces primitives de manière arbitraire avec RDF et RDFS OWL Full est totalement compatible en amont avec RDF, tant du point de vue syntaxique que sémantique OWL Full est puissant au point d'être indécidable n'offre pas de support complet (ou efficace) de raisonnement Chapter 4 A Semantic Web Primer

OWL DL OWL DL (Description Logic) est un sous-langage de OWL Full qui restreint l'application des constructeurs au départ de OWL et RDF l'application des constructeurs de OWL les uns aux autres n'est pas autorisée correspond donc à une logique descriptive bien étudiée OWL DL permet le support de raisonnement efficace Mais on perd alors la compatibilité totale avec RDF: tous les documents RDF ne sont pas forcément des documents OWL DL autorisés par contre, tout document OWL DL autorisé est aussi un document RDF autorisé Chapter 4 A Semantic Web Primer

OWL Lite Toute restriction supplémentaire limite OWL DL à un dialecte des constructeurs de langage par ex., OWL Lite exclut les classes énumératives, les déclarations de disjonction et la cardinalité arbitraire Avantage de ce langage: plus facile à saisir pour les utilisateurs plus facile à mettre en oeuvre pour les créateurs d'outils Inconvénients d'une expressivité restreinte Chapter 4 A Semantic Web Primer

Compatibilité en amont entre espèces OWL Toute ontologie autorisée OWL Lite est aussi une ontologie autorisée OWL DL Toute ontologie autorisée OWL DL est aussi une ontologie autorisée OWL Full Toute conclusion valide OWL Lite est aussi une conclusion OWL DL valide Toute conclusion valide OWL DL est aussi une conclusion OWL Full valide Chapter 4 A Semantic Web Primer

Compatibilité OWL avec RDF Schema Toutes les variantes de OWL utilisent RDF pour leur syntaxe Les instances sont déclarées comme en RDF et utilisent les descriptions RDF ainsi que l'information de typage Les constructeurs OWL sont les spécialisations de leurs contreparties RDF rdfs:Ressouce rdfs:Class rdfs:Property owl:Class owl:ObjectProperty owl:DataProperty Chapter 4 A Semantic Web Primer

Compatibilité OWL avec RDFS (2) La conception du web sémantique vise la compatibilité en aval en réutilisant le logiciel à travers les différentes couches L'avantage de la compatibilité totale en aval de OWL n'est obtenu que pour OWL Full au prix de l‘indéterminabilité du calcul Chapter 4 A Semantic Web Primer

Sommaire Fondements de OWL Le langage OWL Exemples L'espace des noms OWL Extensions futures Chapter 4 A Semantic Web Primer

Diversité de syntaxe OWL OWL repose sur RDF et utilise la syntaxe XML de RDF D'autres formes de syntaxe ont été également définies pour OWL: la syntaxe sur base XML plus lisible une syntaxe abstraite beaucoup plus compacte et lisible que les langages XML une syntaxe graphique basée sur les conventions de UML Chapter 4 A Semantic Web Primer

Syntaxe OWL XML/RDF: en-tête (header) <rdf:RDF xmlns:owl ="http://www.w3.org/2002/07/owl#" xmlns:rdf ="http://www.w3.org/1999/02/22-rdf- syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf- schema#" xmlns:xsd ="http://www.w3.org/2001/ XLMSchema#"> Une ontologie OWL peut commencer par une collection d'assertions à des fins internes utilisant l'élément owl:Ontology Chapter 4 A Semantic Web Primer

owl:Ontology <owl:Ontology rdf:about=""> <rdfs:comment>An example OWL ontology </rdfs:comment> <owl:priorVersion rdf:resource="http://www.mydomain.org/uni-ns-old"/> <owl:imports rdf:resource="http://www.mydomain.org/persons"/> <rdfs:label>University Ontology</rdfs:label> </owl:Ontology> owl:imports est une propriété transitive Chapter 4 A Semantic Web Primer

Classes Les classes se définissent avec owl:Class owl:Class est une sous-classe de rdfs:Class La disjonction se définit par owl:disjointWith <owl:Class rdf:about="#associateProfessor"> <owl:disjointWith rdf:resource="#professor"/> <owl:disjointWith rdf:resource="#assistantProfessor"/> </owl:Class> Chapter 4 A Semantic Web Primer

Classes (2) owl:equivalentClass définit l'équivalence des classes <owl:Class rdf:ID="faculty"> <owl:equivalentClass rdf:resource= "#academicStaffMember"/> </owl:Class> owl:Thing est la classe la plus générale pouvant tout contenir owl:Nothing est la classe vide Chapter 4 A Semantic Web Primer

Propriétés OWL a deux types de propriétés propriétés objet , qui relient des objets à d'autres objets par ex., is-TaughtBy (est enseigné par), est chef de propriétés de type de données, reliant les objets aux valeurs des types de données par ex., téléphone, titre, âge, etc. Chapter 4 A Semantic Web Primer

Propriétés des types de données OWL utilise les types de données XMLS avec l'architecture en couches de SW <owl:DatatypeProperty rdf:ID="age"> <rdfs:range rdf:resource= "http://www.w3.org/2001/XLMSchema #nonNegativeInteger"/> </owl:DatatypeProperty> Chapter 4 A Semantic Web Primer

Propriétés des objets Types de données définies par l'utilisateur <owl:ObjectProperty rdf:ID="isTaughtBy"> <owl:domain rdf:resource="#course"/> <owl:range rdf:resource= "#academicStaffMember"/> <rdfs:subPropertyOf rdf:resource="#involves"/> </owl:ObjectProperty> Chapter 4 A Semantic Web Primer

Propriétés inverses <owl:ObjectProperty rdf:ID="teaches"> <rdfs:range rdf:resource="#course"/> <rdfs:domain rdf:resource= "#academicStaffMember"/> <owl:inverseOf rdf:resource="#isTaughtBy"/> </owl:ObjectProperty> Chapter 4 A Semantic Web Primer

Propriétés équivalentes owl:equivalentProperty <owl:ObjectProperty rdf:ID="lecturesIn"> <owl:equivalentProperty rdf:resource="#teaches"/> </owl:ObjectProperty> Chapter 4 A Semantic Web Primer

Restrictions des propriétés En OWL, on peut déclarer que la classe C remplit certaines conditions toutes les instances de C remplissent les conditions Cela revient à dire que C est une sous-classe de C', où C' rassemble tous les objets remplissant les conditions C' peut rester anonyme Chapter 4 A Semantic Web Primer

Restrictions des propriétés (2) Une classe (restriction) s’obtient par l’élément owl:Restriction Cet élément contient un élément owl:onProperty et une ou plusieurs déclarations de restriction Un type définit les restrictions de cardinalité (au moins un, au plus 3,…) Chapter 4 A Semantic Web Primer

Restrictions des propriétés (3) L'autre type définit les restrictions des diverses valeurs que la propriété peut prendre owl:allValuesFrom indique une quantification universelle owl:hasValue indique une valeur spécifique owl:someValuesFrom indique une quantification existentielle Chapter 4 A Semantic Web Primer

owl:allValuesFrom <owl:Class rdf:about="#firstYearCourse"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#isTaughtBy"/> <owl:allValuesFrom rdf:resource="#Professor"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> Chapter 4 A Semantic Web Primer

owl:hasValue <owl:Class rdf:about="#mathCourse"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource= "#isTaughtBy"/> <owl:hasValue rdf:resource= "#949352"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> Chapter 4 A Semantic Web Primer

owl:someValuesFrom <owl:Class rdf:about="#academicStaffMember"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#teaches"/> <owl:someValuesFrom rdf:resource= "#undergraduateCourse"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> Chapter 4 A Semantic Web Primer

Restrictions de cardinalité On peut spécifier un nombre minimum et maximum avec owl:minCardinality et owl:maxCardinality On peut spécifier un nombre précis en mettant un même nombre pour minimum et maximum Pour être pratique, OWL propose aussi owl:cardinality Chapter 4 A Semantic Web Primer

Restrictions de cardinalité (2) <owl:Class rdf:about="#course"> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#isTaughtBy"/> <owl:minCardinality rdf:datatype= "&xsd;nonNegativeInteger"> 1 </owl:minCardinality> </owl:Restriction> </rdfs:subClassOf> </owl:Class> Chapter 4 A Semantic Web Primer

Propriétés spéciales owl:TransitiveProperty (propriété transitive) par ex. "a un grade supérieur à", "est l'ancêtre de" owl:SymmetricProperty (symmétrie) par ex. "a le même grade que", "a le même parent que" owl:FunctionalProperty définit une propriété ayant au moins une valeur pour chaque objet par ex. “âge”, “hauteur”, “chefDirect” owl:InverseFunctionalProperty définit une propriété pour laquelle deux objets différents ne peuvent pas avoir la même valeur Chapter 4 A Semantic Web Primer

Propriétés spéciales (2) <owl:ObjectProperty rdf:ID="hasSameGradeAs"> <rdf:type rdf:resource="&owl;TransitiveProperty"/> <rdf:type rdf:resource="&owl;SymmetricProperty"/> <rdfs:domain rdf:resource="#student"/> <rdfs:range rdf:resource="#student"/> </owl:ObjectProperty> Chapter 4 A Semantic Web Primer

Combinations booléennes On peut combiner des classes par des opérations booléennes (union, intersection, complément) <owl:Class rdf:about="#course"> <rdfs:subClassOf> <owl:Restriction> <owl:complementOf rdf:resource= "#staffMember"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> Chapter 4 A Semantic Web Primer

Combinations booléennes (2) <owl:Class rdf:ID="peopleAtUni"> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="#staffMember"/> <owl:Class rdf:about="#student"/> </owl:unionOf> </owl:Class> La nouvelle classe n'est pas une sous-classe de l'union mais bien égale à l'union on a ainsi établi une équivalence de classes Chapter 4 A Semantic Web Primer

Combinations booléennes (3) <owl:Class rdf:ID="facultyInCS"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="#faculty"/> <owl:Restriction> <owl:onProperty rdf:resource="#belongsTo"/> <owl:hasValue rdf:resource= "#CSDepartment"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> Chapter 4 A Semantic Web Primer

Emboîtage des opérateurs booléens <owl:Class rdf:ID="adminStaff"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="#staffMember"/> <owl:complementOf> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="#faculty"/> <owl:Class rdf:about= "#techSupportStaff"/> </owl:unionOf> </owl:complementOf> </owl:intersectionOf> </owl:Class> Chapter 4 A Semantic Web Primer

Enumérations avec owl:oneOf <owl:oneOf rdf:parseType="Collection"> <owl:Thing rdf:about="#Monday"/> <owl:Thing rdf:about="#Tuesday"/> <owl:Thing rdf:about="#Wednesday"/> <owl:Thing rdf:about="#Thursday"/> <owl:Thing rdf:about="#Friday"/> <owl:Thing rdf:about="#Saturday"/> <owl:Thing rdf:about="#Sunday"/> </owl:oneOf> Chapter 4 A Semantic Web Primer

Déclarations des instances Les instances des classes sont déclarées comme en RDF <rdf:Description rdf:ID="949352"> <rdf:type rdf:resource= "#academicStaffMember"/> </rdf:Description> <academicStaffMember rdf:ID="949352"> <uni:age rdf:datatype="&xsd;integer"> 39<uni:age> </academicStaffMember> Chapter 4 A Semantic Web Primer

Absence d'hypothèse de noms uniques (UNA) OWL ne souscrit pas à l'hypothèse UNA des bases de données si deux instances ont un nom ou une ID différent, cela n'implique pas qu'il s'agisse d'individus différents Supposons que nous déclarions que chaque cours est enseigné par au moins un professeur et qu'un cours précis est enseigné par deux professeurs un raisonneur OWL ne signale pas d'erreur au contraire, il infère que les deux ressources sont égales Chapter 4 A Semantic Web Primer

Objets distincts Pour garantir que deux individus différents sont bien reconnus comme tels, il faut explicitement affirmer leur inégalité: <lecturer rdf:about="949318"> <owl:differentFrom rdf:resource="949352"/> </lecturer> Chapter 4 A Semantic Web Primer

Objets distincts (2) OWL propose une notation abrégée pour déclarer l'inégalité de manière appariée de tous les individus d'une liste <owl:allDifferent> <owl:distinctMembers rdf:parseType="Collection"> <lecturer rdf:about="949318"/> <lecturer rdf:about="949352"/> <lecturer rdf:about="949111"/> </owl:distinctMembers> </owl:allDifferent> Chapter 4 A Semantic Web Primer

Types de données en OWL XMLS offre un mécanisme de construction de types de données définies par l'utilisateur par ex., le type de données de adultAge inclut tous les nombres entiers supérieurs à 18 Ces types de données dérivées ne peuvent pas s'utiliser en OWL le document de référence OWL énumère tous les types de données XMLS utilisables il s'agit des types les plus souvent utilisés comme string(chaîne), integer (nombre entier), Boolean (booléen), time (heure) et date. Chapter 4 A Semantic Web Primer

Information sur les versions owl:priorVersion indique des versions antérieures de l'ontologie actuelle pas de signification formelle, exploitable en gestion d'ontologies owl:versionInfo contient généralement une chaîne avec l'information de la version en cours, par ex. mots-clés Chapter 4 A Semantic Web Primer

Information sur les versions (2) owl:backwardCompatibleWith contient une référence à une autre ontologie tous les identifiants de la version précédente ont les mêmes interprétations supposées que la nouvelle version les documents peuvent donc en toute sécurité être changés pour exécuter la nouvelle version owl:incompatibleWith indique que l'ontologie contenante est une version ultérieure de celle référencée mais est incompatible avec elle en amont Chapter 4 A Semantic Web Primer

Combinaisons de possibilités Dans les langages OWL, il y a plusieurs séries de restrictions sur l'applications des possibilités dans OWL Full, tous les constructeurs du langage peuvent s'utiliser dans n'importe quelle combinaison tant que le résultat donne un RDF autorisé Chapter 4 A Semantic Web Primer

Restriction des possibilités dans OWL DL Segmentation du vocabulaire Toute ressource ne peut être qu'une classe, un type de données, une propriété de type de données, une propriété d'objet, une instance, une valeur de données ou une partie du vocabulaire intégré et rien de plus Typage explicite La segmentation de toutes les ressources doit être déclarée explicitement (par ex. une classe doit être déclarée si elle est utilisée conjointement à rdfs:subClassOf) Chapter 4 A Semantic Web Primer

Restriction des possibilités dans OWL DL (2) Séparation des propriétés la série des propriétés d'un objet et les propriétés des types de données sont disjointes ce qui suit ne peut donc jamais être spécifié pour les propriétés des types de données owl:inverseOf owl:FunctionalProperty owl:InverseFunctionalProperty owl:SymmetricProperty Chapter 4 A Semantic Web Primer

Restriction des possibilités dans OWL DL (3) Pas de restrictions de cardinalité transitive aucune restriction de cardinalité ne peut être imposée aux propriétés transitives Classes anonymes restreintes: ces classes ne sont permises que comme domaine et étendue de owl:equivalentClass ou owl:disjointWith étendue (mais non le domaine) de rdfs:subClassOf Chapter 4 A Semantic Web Primer

Restriction des possibilités dans OWL Lite Restrictions plus strictes que pour OWL DL owl:oneOf, owl:disjointWith, owl:unionOf, owl:complementOf et owl:hasValue ne sont pas autorisés Les déclarations de cardinalité (cardinalité minimale, maximale et exacte) ne peuvent se faire que sur les valeurs 0 et 1 owl:equivalentClass ne peuvent plus se faire entre classes anonymes mais uniquement entre identifiants de classes Chapter 4 A Semantic Web Primer

Principe légataire dans la hiérarchie des classes Restriction d'étendue: Les cours ne peuvent être donnés que par les membres du corps académique Michael Maher est professeur Il "hérite" de la capacité d'enseigner via la classe des membres du corps académique En RDFS, ceci se fait en déterminant la sémantique de "est une sous-classe de" ce n'est pas le rôle de l'application (logiciel de traitement RDF) d'interpréter "est une sous-classe de" Chapter 4 A Semantic Web Primer

Sommaire Fondements de OWL Le langage OWL Exemples L'espace des noms OWL Extensions futures Chapter 4 A Semantic Web Primer

Ontologie de la vie faune et la flore Africaine - hiérarchie des classes animal plante herbivore carnivore arbre girafe lion Chapter 4 A Semantic Web Primer

Ontologie de la vie sauvage africaine - représentation schématique Les branches font partie des arbres isPartOf onProperty isSubclassOf branche toClass arbre Chapter 4 A Semantic Web Primer

Ontologie de la vie sauvage africaine - propriétés <owl:TransitiveProperty rdf:ID="is-part-of"/> <owl:ObjectProperty rdf:ID="eats"> <rdfs:domain rdf:resource="#animal"/> </owl:ObjectProperty> <owl:ObjectProperty rdf:ID="eaten-by"> <owl:inverseOf rdf:resource="#eats"/> Chapter 4 A Semantic Web Primer

Ontologie de la vie sauvage africaine - plantes et arbres <owl:Class rdf:ID="plant"> <rdfs:comment>les plantes sont disjointes des animaux </rdfs:comment> <owl:disjointWith="#animal"/> </owl:Class> <owl:Class rdf:ID="tree"> <rdfs:comment>les arbres sont un type de plantes </rdfs:comment> <rdfs:subClassOf rdf:resource="#plant"/> Chapter 4 A Semantic Web Primer

Ontologie de la vie sauvage africaine - branches <owl:Class rdf:ID="branch"> <rdfs:comment>les branches font partie des arbres </rdfs:comment> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#is-part-of"/> <owl:allValuesFrom rdf:resource="#tree"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> Chapter 4 A Semantic Web Primer

Ontologie de la vie sauvage africaine - feuilles <owl:Class rdf:ID="leaf"> <rdfs:comment>les feuilles font partie des branches </rdfs:comment> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#is-part-of"/> <owl:allValuesFrom rdf:resource="#branch"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> Chapter 4 A Semantic Web Primer

Ontologie de la vie sauvage africaine - carnivores <owl:Class rdf:ID="carnivore"> <rdfs:comment>les carnivores sont précisément les animaux qui mangent aussi de la viande</rdfs:comment> <owl:intersectionOf rdf:parsetype="Collection"> <owl:Class rdf:about="#animal"/> <owl:Restriction> <owl:onProperty rdf:resource="#eats"/> <owl:someValuesFrom rdf:resource="#animal"/> </owl:Restriction> </owl:intersectionOf> </owl:Class> Chapter 4 A Semantic Web Primer

Ontologie de la vie sauvage africaine <owl:Class rdf:ID="herbivore"> <rdfs:comment>Les herbivores sont précisément les animaux qui mangent des plantes ou des parties de plantes</rdfs:comment> <rdfs:comment> Essayez ! Consultez le livre pour les codes </owl:Class> Chapter 4 A Semantic Web Primer

Ontologie de la vie sauvage africaine <owl:Class rdf:ID="giraffe"> <rdfs:comment>les girafes sont des herbivores et elles ne mangent que des feuilles</rdfs:comment> <rdfs:subClassOf rdf:type="#herbivore"/> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#eats"/> <owl:allValuesFrom rdf:resource="#leaf"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> Chapter 4 A Semantic Web Primer

Ontologie de la vie sauvage africaine - lions <owl:Class rdf:ID="lion"> <rdfs:comment>les lions sont des animaux qui ne mangent </rdfs:comment>que des herbivores <rdfs:subClassOf rdf:type="#carnivore"/> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#eats"/> <owl:allValuesFrom rdf:resource="#herbivore"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> Chapter 4 A Semantic Web Primer

Ontologie de la vie sauvage africaine - plantes savoureuses owl:Class rdf:ID="tasty-plant"> <rdfs:comment>plantes mangées par les herbivores et les carnivores </rdfs:comment> <rdfs:comment> Essayez ! Consultez le livre pour les codes </owl:Class> Chapter 4 A Semantic Web Primer

Ontologie de l'imprimante - hiérarchie des classes produit hpproduit padid imprimante laserJetImprimante imprimantepersonelle hpimprimante hpLaserJetimprimante 1100series 1100se 1100xi Chapter 4 A Semantic Web Primer

Ontologie de l'imprimante - produits et appareils <owl:Class rdf:ID="product"> <rdfs:comment>les produits forment une classe </rdfs:comment> </owl:Class> <owl:Class rdf:ID="padid"> <rdfs:comment>Appareils d'impression et d'imagerie numérique forment une sous-classe de produits</rdfs:comment> <rdfs:label>Device</rdfs:label> <rdfs:subClassOf rdf:resource="#product"/> Chapter 4 A Semantic Web Primer

Ontologie de l'imprimante - produits HP <owl:Class rdf:ID="hpProduct"> <owl:intersectionOf> <owl:Class rdf:about="#product"/> <owl:Restriction> <owl:onProperty rdf:resource="#manufactured-by"/> <owl:hasValue> <xsd:string rdf:value="Hewlett Packard"/> </owl:hasValue> </owl:Restriction> </owl:intersectionOf> </owl:Class> Chapter 4 A Semantic Web Primer

Ontologie de l'imprimante <owl:Class rdf:ID="printer"> <rdfs:comment>les imprimantes sont des appareils d'impression et d'imagerie numérique</rdfs:comment> <rdfs:subClassOf rdf:resource="#padid"/> </owl:Class> <owl:Class rdf:ID="personalPrinter"> <rdfs:comment>les imprimantes à usage privé forment une sous-classe des imprimantes</rdfs:comment> <rdfs:subClassOf rdf:resource="#printer"/> Chapter 4 A Semantic Web Primer

Ontologie de l'imprimante <owl:Class rdf:ID="1100se"> <rdfs:comment>les imprimantes 1100se appartiennent à la série 1100 et coûtent $450.</rdfs:comment> <rdfs:subClassOf rdf:resource="#1100series"/> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="#price"/> <owl:hasValue><xsd:integer rdf:value="450"/> </owl:hasValue> </owl:Restriction> </rdfs:subClassOf> </owl:Class> Chapter 4 A Semantic Web Primer

Ontologie de l'imprimante - propriétés <owl:DatatypeProperty rdf:ID="manufactured-by"> <rdfs:domain rdf:resource="#product"/> <rdfs:range rdf:resource="&xsd;string"/> </owl:DatatypeProperty> <owl:DatatypeProperty rdf:ID="printingTechnology"> <rdfs:domain rdf:resource="#printer"/> Chapter 4 A Semantic Web Primer

Sommaire Fondements de OWL Le langage OWL Exemples L'espace des noms OWL Extensions futures Chapter 4 A Semantic Web Primer

OWL par lui-même Présentation d'une partie de la définition de OWL par ses propres termes Les explications qui suivent prennent certaines significations OWL dans OWL elles ne reflètent pas la totalité de la sémantique il faut pour cela une spécification sémantique distincte L'URI de la définition de OWL est défini comme espace de noms par défaut Chapter 4 A Semantic Web Primer

Classes des classes (métaclasses) La classe de toutes les classes OWL est en elle-même une sous-classe de la classe de toutes les classes RDFS: <rdfs:Class rdf:ID="Class"> <rdfs:label>Class</rdfs:label> <rdfs:subClassOf rdf:resource="&rdfs;Class"/> </rdfs:Class> Chapter 4 A Semantic Web Primer

Classes des classes (métaclasses) – "Thing" et "Nothing" (‘chose’ et ‘rien’) Thing est la classe d'objet la plus générale en OWL Nothing est la classe la plus spécifique: classe d'objet vide Les relations suivantes s'établissent Chapter 4 A Semantic Web Primer

Classes des classes (métaclasses) – "Thing" et "Nothing" (2) <Class rdf:ID="Thing"> <rdfs:label>Thing</rdfs:label> <unionOf rdf:parseType="Collection"> <Class rdf:about="#Nothing"/> <Class> <complementOf rdf:resource="#Nothing"/> </Class> </unionOf> <Class rdf:ID="Nothing"> <rdfs:label>Nothing</rdfs:label> <complementOf rdf:resource="#Thing"/> Chapter 4 A Semantic Web Primer

Equivalences de classes et de propriétés <rdf:Property rdf:ID="EquivalentClass"> <rdfs:label>EquivalentClass</rdfs:label> <rdfs:subPropertyOf rdf:resource="&rdfs;subClassOf"/> <rdfs:domain rdf:resource="#Class"/> <rdfs:range rdf:resource="#Class"/> </rdf:Property> <rdf:Property rdf:ID="EquivalentProperty"> <rdfs:label>EquivalentProperty</rdfs:label> <rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf"/> Chapter 4 A Semantic Web Primer

Disjonction de classes <rdf:Property rdf:ID="disjointWith"> <rdfs:label>disjointWith</rdfs:label> <rdfs:domain rdf:resource="#Class"/> <rdfs:range rdf:resource="#Class"/> </rdf:Property> Chapter 4 A Semantic Web Primer

Egalité et inégalité Egalité et inégalité peuvent être déclarées entre choses arbitraires en OWL Full, cette déclaration peut aussi s'appliquer aux classes Propriétés sameIndividualAs, sameAs et differentFrom Chapter 4 A Semantic Web Primer

Egalité et inégalité (2) <rdf:Property rdf:ID="sameIndividualAs"> <rdfs:domain rdf:resource="#Thing"/> <rdfs:range rdf:resource="#Thing"/> </rdf:Property> <rdf:Property rdf:ID="sameAs"> <EquivalentProperty rdf:resource= "#sameIndividualAs"/> Chapter 4 A Semantic Web Primer

Union et intersection de classes Pour construire une classe au départ d'une liste supposée être une liste d'autres expressions de classes <rdf:Property rdf:ID="unionOf"> <rdfs:domain rdf:resource="#Class"/> <rdfs:range rdf:resource="&rdf;List"/> </rdf:Property> Chapter 4 A Semantic Web Primer

Classe avec restriction En OWL, les restrictions définissent la classe des objets répondant à certaines conditions <rdfs:Class rdf:ID="Restriction"> <rdfs:label>Restriction</rdfs:label> <rdfs:subClassOf rdf:resource="#Class"/> </rdfs:Class> Chapter 4 A Semantic Web Primer

Propriétés avec restriction Toutes les propriétés :(onProperty, allValuesFrom, minCardinality, etc.) ne sont autorisées qu'à l'intérieur d'une définition de restriction Leur domaine est owl:Restriction, mais sont différentes en fonction de leur étendue Chapter 4 A Semantic Web Primer

Propriétés avec restriction (2) <rdf:Property rdf:ID="onProperty"> <rdfs:label>onProperty</rdfs:label> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="&rdf;Property"/> </rdf:Property> <rdf:Property rdf:ID="allValuesFrom"> <rdfs:label>allValuesFrom</rdfs:label> <rdfs:range rdf:resource="&rdfs;Class"/> Chapter 4 A Semantic Web Primer

Propriétés avec restriction (3) <rdf:Property rdf:ID="hasValue"> <rdfs:label>hasValue</rdfs:label> <rdfs:domain rdf:resource="#Restriction"/> </rdf:Property> <rdf:Property rdf:ID="minCardinality"> <rdfs:label>minCardinality</rdfs:label> <rdfs:range rdf:resource= "&xsd;nonNegativeInteger"/> Chapter 4 A Semantic Web Primer

Propriétés owl:ObjectProperty et owl:DatatypeProperty sont des cas spéciaux de rdf:Property <rdfs:Class rdf:ID="ObjectProperty"> <rdfs:label>ObjectProperty</rdfs:label> <rdfs:subClassOf rdf:resource="&rdf;Property"/> </rdfs:Class> Chapter 4 A Semantic Web Primer

Propriétés (2) Les propriétés symétriques, fonctionnelles et fonctionnelles inverses ne peuvent s'appliquer qu'aux propriétés objets <rdfs:Class rdf:ID="TransitiveProperty"> <rdfs:label>TransitiveProperty</rdfs:label> <rdfs:subClassOf rdf:resource= "#ObjectProperty"/> </rdfs:Class> Chapter 4 A Semantic Web Primer

Propriétés (3) owl:inverseOf relie deux propriétés objets: <rdf:Property rdf:ID="inverseOf"> <rdfs:label>inverseOf</rdfs:label> <rdfs:domain rdf:resource="#ObjectProperty"/> <rdfs:range rdf:resource="#ObjectProperty"/> </rdf:Property> Chapter 4 A Semantic Web Primer

Sommaire Fondements de OWL Le langage OWL Exemples L'espace des noms OWL Extensions futures Chapter 4 A Semantic Web Primer

Extensions futures de OWL Modules et imports Valeurs par défaut Hypothèse du monde fermé Hypothèse des noms uniques Suffixes de procédure Règles de mise en chaîne des propriétés Chapter 4 A Semantic Web Primer

Modules et imports L'outil d'importation de OWL est des plus simples: sert à importer uniquement des ontologies entières, et non des parties de celles-ci Modules en langages de programmation basés sur le masquage des informations : déclarent les fonctionnalités, cachent les détails de l'implémentation Question ouverte de la définition du mécanisme adéquat des modules pour les langages d'ontologies du web Chapter 4 A Semantic Web Primer

Valeurs par défaut De nombreux systèmes pratiques de représentation des connaissances permettent de contourner les valeurs héritées par des classes plus spécifiques dans la hiérarchie traite les valeurs héritées comme valeurs par défaut Aucun accord n'a été trouvé sur une formalisation correcte du comportement non monotone des valeurs par défaut Chapter 4 A Semantic Web Primer

Hypothèse du monde fermé OWL choisit actuellement l'hypothèse du monde ouvert: une déclaration ne peut pas être supposée vraie sur la base d'une erreur pour le prouver sur l'immense www que l'on ne peut que partiellement connaître, cette hypothèse est correcte Hypothèse du monde fermé: une déclaration est vraie si sa négation ne peut pas être prouvée reliée à la notion de valeurs par défaut, conduit à un comportement non monotonique Chapter 4 A Semantic Web Primer

Hypothèse des noms uniques Les applications classiques des bases de données supposent que les individus dont les noms sont différents sont en effet des individus différents OWL suit le paradigme logique habituel où ceci n'est pas le cas plausible sur WWW On peut vouloir indiquer les parties d'une ontologie pour lesquelles l'hypothèse vaut ou ne vaut pas Chapter 4 A Semantic Web Primer

Suffixes de procédure Une idée habituelle dans la représentation des connaissances est de définir le sens d'un mot en ajoutant un segment de code exécutable servant à élaborer la signification du mot et non par des définitions explicites dans la langue Bien que largement appliquée, cette idée ne se prête pas très bien à l'intégration en système avec une sémantique formelle et elle n'est pas incluse dans OWL Chapter 4 A Semantic Web Primer

Règles de mise en chaîne des propriétés OWL n'autorise pas la composition de propriétés pour des motifs de décidabilité Dans de nombreuses applications, cette opération est utile On peut souhaiter définir des propriétés en tant de règles générales (Horn ou autres) couvrant d'autres propriétés L'intégration de la représentation des connaissances basée sur des règles et la représentation de type DL sont actuellement des secteurs de recherche intensive Chapter 4 A Semantic Web Primer

Récapitulation OWL est le standard proposé pour les ontologies du web OWL repose sur RDF et RDFS: on utilise la syntaxe à base XML les instances sont définies par des descriptions RDF la plupart des primitives de modélisation RDFS sont appliquées Chapter 4 A Semantic Web Primer

Récapitulation (2) La sémantique formelle et le support de raisonnement sont fournis par la cartographie de OWL en logique la logique de prédicats et de descriptions servent à cet usage Bien que OWL soit assez puissant pour son utilisation pratique, on développe des extensions où on trouvera encore d'autres possibilités logiques et des règles. Chapter 4 A Semantic Web Primer