OWL Ontology Web Language Olivier Corby INRIA Sophia
OWL : Ontology Web Language Olivier. Corby INRIA, Sophia Antipolis http: //www. inria. fr/acacia «Knowledge is Power» 1
OWL Pour compléter les possibilités d’inférences de RDF Raffiner les descriptions 2
OWL Logique de description Basée sur RDF (moins ) 1. OWL Lite 2. OWL DL 3. OWL Full 3
OWL Basée sur RDF (moins ) Classes, propriétés et individus sont disjoints Un individu ne peut être aussi une classe, On ne peut considérer une classe en temps qu’individu 4
Logique de description Modèle objet pour la classification de concepts concept : ensemble d’individus rôle : relation binaire entre individus concept et rôle : niveau terminologique (Tbox) individus : assertion (Abox) 5
LD Relation de subsomption : organiser les concepts par niveau de généralité : un concept A subsume B si l’ensemble des individus représentés par B est inclus dans l’ensemble des individus de A : A est plus général que B classification : déterminer la position d’un concept dans une hiérarchie de subsomption 6
OWL Concepts primitifs vs définis Les concepts sont définis par des expressions mettant en jeu des concepts et des rôles condition nécessaire (et suffisante) être compatible avec la définition pour appartenir au concept : celui qui joue avec les Rolling Stones est un Rolling Stone 7
OWL Racine owl: Thing owl: Nothing 8
Class ex: Human rdf: type owl: Class rdfs: sub. Class. Of rdfs: Class 9
Classe définie Un humain a des parents humains : Human(x) (parent(x, y) Human(y)) Human : all parent Human 10
all. Values. From Restriction : definit une classe anonyme owl: Class Human rdfs: sub. Class. Of owl: Restriction owl: on. Property parent owl: all. Values. From Human 11
some. Values. From Human : some parent Woman owl: Class Human rdfs: sub. Class. Of owl: Restriction owl: on. Property parent owl: some. Values. From Woman 12
Cardinalité Cardinality : nombre de valeurs sémantiquement distinctes d’une propriété owl: Class Human rdfs: sub. Class. Of owl: Restriction owl: on. Property parent owl: cardinality 2 13
Cardinalité owl: cardinality 2 owl: max. Cardinality 2 owl: min. Cardinality 2 OWL Lite : 0 ou 1 14
Sous-classe owl: Class Woman rdfs: sub. Class. Of Human rdfs: sub. Class. Of Female Woman Human Female 15
Intersection owl: Class Woman owl: intersection. Of owl: Class Human owl: Class Female Définit une équivalence entre Woman et l’intersection de Human et Female Human Female Woman 16
Axiomes rdfs: sub. Class. Of extension est un sous-ensemble owl: equivalent. Class même extension : CNS X rdf: type C 1 X rdf: type C 2 rdfs: sub. Class. Of owl: Restriction condition nécessaire mais pas suffissante owl: intersection. Of CNS 17
Propriétés owl: Object. Property pour les individus owl: Datatype. Property pour les valeurs littérales (integer, string, float, boolean, date) owl: Annotation. Property rdfs: comment rdfs: label Ne participent pas aux inférences, purement documentaire 18
Propriétés ex: mother rdfs: sub. Property. Of ex: parent rdfs: domain rdfs: range Héritées de RDF 19
Equivalence P 1 owl: equivalent. Property p 2 X p 1 Y X p 2 Y Quand on importe une ontologie 20
Inverse p 1 owl: inverse. Of p 2 X p 1 Y Y p 2 X has. Parent owl: inverse. Of has. Child John has. Parent Jim has. Child John 21
Symétrie p rdf: type owl: Symmetric. Property X p Y Y p X ex: sibling rdf: type owl: Symmetric. Property John ex: sibling Jack ex: sibling John 22
Transitivité owl: Transitive. Property X p Y Y p Z X p Z ex: part. Of rdf: type owl: Transitive. Property ex: axis ex: part. Of ex: engine ex: part. Of ex: car ex: axis ex: part. Of ex: car 23
Propriété fonctionnelle ex: husband rdf: type owl: Functional. Property Une valeur unique pour une ressource donnée X ex: husband Y X ex: husband Z Y = Z 24
Propriété fonctionnelle ex: mother. Of owl: Inverse. Functional. Property Une ressource unique pour une valeur donnée X ex: mother. Of Z Y ex: mother. Of Z X = Y 25
Individus owl: same. As individus identiques : Bill. Clinton owl: same. As William. Clinton Individus différents : Bill. Clinton owl: different. From Georges. Double. You 26
OWL DL & Full : Enumeration owl: Class South. City owl: one. Of ex: Nice ex: Marseille ex: Montpellier ex: Toulouse 27
Restriction de Valeur owl: Class Human rdfs: sub. Class. Of owl: Restriction owl: on. Property num. Of. Leg owl: has. Value 2 28
Union owl: Class Humanoid owl: union. Of ex: Chimpanzee ex: Gorilla ex: Man 29
Complement owl: Class Invertebrate owl: complement. Of Vertebrate 30
Disjoint owl: Class Man owl: disjoint. With Woman 31
- Slides: 31