owl : web ontology language, w3c

1

OWL : Web Ontology OWL : Web Ontology Language, W3CLanguage, W3C

Olivier.Corby@sophia.inria.frOlivier.Corby@sophia.inria.frINRIA, Sophia AntipolisINRIA, Sophia Antipolis

http://www.inria.fr/acaciahttp://www.inria.fr/acacia

««Knowledge is PowerKnowledge is Power»»

2

OWLOWL

http://www.w3.org/2001/sw/WebOnthttp://www.w3.org/2001/sw/WebOnt

Pour complPour complééter les possibilitter les possibilitéés d’infs d’inféérences rences de RDFde RDF

Raffiner les descriptionsRaffiner les descriptions

3

OWLOWL

Logique de descriptionLogique de description

BasBaséée sur RDF (moins e sur RDF (moins ) )

1.1. OWL LiteOWL Lite

2.2. OWL DLOWL DL

3.3. OWL FullOWL Full

4

OWLOWL

BasBaséée sur RDF (moins e sur RDF (moins ) )

Classes, propriClasses, propriééttéés et individus sont disjointss et individus sont disjoints

Un individu ne peut Un individu ne peut êêtre aussi une classe,tre aussi une classe,

On ne peut considOn ne peut considéérer une classe en tant rer une classe en tant qu’individuqu’individu

5

Logique de descriptionLogique de description

Modèle objet pour la classification de Modèle objet pour la classification de concepts concepts

concept : ensemble d’individusconcept : ensemble d’individus

rôle : relation binaire entre individusrôle : relation binaire entre individus

concept et rôle : niveau terminologique concept et rôle : niveau terminologique (Tbox)(Tbox)

individus : assertion (Abox)individus : assertion (Abox)

6

LDLD

Relation de subsomption : organiser les Relation de subsomption : organiser les concepts par niveau de géconcepts par niveau de génnéralité : éralité :

un concept A subsume B si l’ensemble des un concept A subsume B si l’ensemble des individus représentés par B est inclus dans individus représentés par B est inclus dans l’ensemble des individus de A : A est plus l’ensemble des individus de A : A est plus général que Bgénéral que B

classification : déterminer la position d’un classification : déterminer la position d’un concept dans une hiérarchie de subsomptionconcept dans une hiérarchie de subsomption

7

OWLOWL

Concepts primitifs vs définis Concepts primitifs vs définis

Les concepts sont définis par des expressions Les concepts sont définis par des expressions mettant en jeu des concepts et des rôlesmettant en jeu des concepts et des rôles

condition nécessaire condition nécessaire ((et suffisanteet suffisante))

être compatible avec la définition pour être compatible avec la définition pour appartenir au concept : celui qui joue avec les appartenir au concept : celui qui joue avec les Rolling Stones est un Rolling StoneRolling Stones est un Rolling Stone

8

OWL RacineOWL Racineowl:Thingowl:Thing

owl:Nothingowl:Nothing

9

ClassClassex:Human rdf:type owl:Classex:Human rdf:type owl:Class

owl:Class rdfs:subClassOf rdfs:Classowl:Class rdfs:subClassOf rdfs:Class

10

Classe dClasse dééfiniefinieUn humain a des parents humains :Un humain a des parents humains :

Human(x) Human(x) (parent(x, y) (parent(x, y) Human(y)) Human(y))

Human : all parent HumanHuman : all parent Human

11

allValuesFromallValuesFromRestriction : definit une classe Restriction : definit une classe anonymeanonyme

owl:Class Humanowl:Class Human

rdfs:subClassOf rdfs:subClassOf

owl:Restrictionowl:Restriction

owl:onProperty parentowl:onProperty parent

owl:allValuesFrom Humanowl:allValuesFrom Human

12

allValuesFromallValuesFrom

<owl:Class rdf:about=‘#Human’><owl:Class rdf:about=‘#Human’>

<rdfs:subClassOf> <rdfs:subClassOf>

<owl:Restriction><owl:Restriction>

<owl:onProperty rdf:resource=‘#parent’><owl:onProperty rdf:resource=‘#parent’>

<owl:allValuesFrom rdf:resource=‘#Human’/><owl:allValuesFrom rdf:resource=‘#Human’/>

</owl:Restriction></owl:Restriction>

</rdfs:subClassOf> </rdfs:subClassOf>

</owl:Class></owl:Class>

13

allValuesFromallValuesFrom

owl:Class owl:Class GorillaGorilla

rdfs:subClassOf rdfs:subClassOf

owl:Restrictionowl:Restriction

owl:onProperty owl:onProperty parentparent

owl:allValuesFrom owl:allValuesFrom GorillaGorilla

14

someValuesFromsomeValuesFromHuman : some parent WomanHuman : some parent Woman

owl:Class owl:Class HumanHuman

rdfs:subClassOf rdfs:subClassOf

owl:Restrictionowl:Restriction

owl:onProperty owl:onProperty parentparent

owl:someValuesFrom owl:someValuesFrom WomanWoman

15

CardinalitCardinalitééCardinality : nombre de valeurs sCardinality : nombre de valeurs séémantiquement mantiquement distinctes d’une propridistinctes d’une propriééttéé

owl:Class Humanowl:Class Human

rdfs:subClassOfrdfs:subClassOf

owl:Restrictionowl:Restriction

owl:onProperty parentowl:onProperty parent

owl:cardinality 2owl:cardinality 2

16

CardinalitCardinalitééowl:cardinality 2owl:cardinality 2

owl:maxCardinality 2owl:maxCardinality 2

owl:minCardinality 2owl:minCardinality 2

OWL Lite : 0 ou 1OWL Lite : 0 ou 1

17

Sous-classeSous-classe

owl:Class Womanowl:Class Woman

rdfs:subClassOf Humanrdfs:subClassOf Human

rdfs:subClassOf Femalerdfs:subClassOf Female

WomanWoman Human Human Female Female

18

IntersectionIntersectionowl:Class Womanowl:Class Woman

owl:intersectionOfowl:intersectionOf

owl:Class Humanowl:Class Human

owl:Class Femaleowl:Class Female

DDééfinit une finit une ééquivalencequivalence entre Woman et l’intersection de Human entre Woman et l’intersection de Human et Femaleet Female

HumanHuman FemaleFemale WomanWoman

19

AxiomesAxiomesA rdfs:subClassOf BA rdfs:subClassOf B

L’extension de A est un sous-ensemble de l’extension de BL’extension de A est un sous-ensemble de l’extension de B

X rdf:type AX rdf:type A X rdf:type BX rdf:type B

A owl:equivalentClass BA owl:equivalentClass B

mmêême extension : CNSme extension : CNS

X rdf:type A X rdf:type A X rdf:type B X rdf:type B

20

PropriPropriééttééssowl:ObjectProperty owl:ObjectProperty

PropriPropriééttéé dont la valeur est un individu (une instance) dont la valeur est un individu (une instance)

owl:DatatypeProperty owl:DatatypeProperty

PropriPropriééttéé dont la valeur est une valeur litt dont la valeur est une valeur littéérale (integer, string, rale (integer, string, float, boolean, date)float, boolean, date)

owl:AnnotationProperty owl:AnnotationProperty

rdfs:comment rdfs:labelrdfs:comment rdfs:label

Ne participent pas aux infNe participent pas aux inféérences, purement documentairerences, purement documentaire

21

PropriPropriééttééssex:mother rdfs:subPropertyOf ex:parentex:mother rdfs:subPropertyOf ex:parent

rdfs:domainrdfs:domain

rdfs:rangerdfs:range

HHééritritéées de RDFes de RDF

22

EquivalenceEquivalencep1 owl:p1 owl:equivalentPropertyequivalentProperty p2 p2

X p1 Y X p1 Y X p2 Y X p2 Y

Quand on importe une ontologieQuand on importe une ontologie

ex:hasPart owl:equivalentProperty ns:sous-partieex:hasPart owl:equivalentProperty ns:sous-partie

23

InverseInversep1 owl:p1 owl:inverseOfinverseOf p2 p2

X p1 Y X p1 Y Y p2 X Y p2 X

hasParent owl:inverseOf hasChildhasParent owl:inverseOf hasChild

John hasParent Jim John hasParent Jim Jim hasChild John Jim hasChild John

24

SymSyméétrietrie

p rdf:type owl:p rdf:type owl:SymmetricPropertySymmetricProperty

X p Y X p Y Y p X Y p X

ex:sibling rdf:type owl:SymmetricProperty ex:sibling rdf:type owl:SymmetricProperty

John ex:sibling Jack John ex:sibling Jack

Jack ex:sibling John Jack ex:sibling John

25

TransitivitTransitivitééowl:TransitiveProperty owl:TransitiveProperty

X p Y X p Y Y p Z Y p Z X p ZX p Z

ex:partOf rdf:type owl:TransitivePropertyex:partOf rdf:type owl:TransitiveProperty

ex:axis ex:partOf ex:engineex:axis ex:partOf ex:engine

ex:engine ex:partOf ex:car ex:engine ex:partOf ex:car

ex:axis ex:partOf ex:carex:axis ex:partOf ex:car

26

TransitivitTransitivitééIntIntéérrêêt pour l’interrogation :t pour l’interrogation :

?x ex:partOf ex:car?x ex:partOf ex:car

ex:axis, ex:engineex:axis, ex:engine

27

PropriPropriééttéé fonctionnelle fonctionnelle

ex:husband rdf:type owl:FunctionalPropertyex:husband rdf:type owl:FunctionalProperty

Une valeur unique pour une ressource donnUne valeur unique pour une ressource donnééee

X ex:husband YX ex:husband Y

X ex:husband ZX ex:husband Z

Y = ZY = Z

28

PropriPropriééttéé fonctionnelle inverse fonctionnelle inverse

ex:motherOf owl:InverseFunctionalPropertyex:motherOf owl:InverseFunctionalProperty

Une ressource unique pour une valeur donnUne ressource unique pour une valeur donnééee

XX ex:motherOf Zex:motherOf Z

Y ex:motherOf ZY ex:motherOf Z

X = YX = Y

29

IndividusIndividusowl:sameAs owl:sameAs individus identiques :individus identiques :

BillClintonBillClinton owl:sameAs WilliamClintonowl:sameAs WilliamClinton

Individus diffIndividus difféérents :rents :

BillClintonBillClinton owl:differentFrom owl:differentFrom GeorgesDoubleYouGeorgesDoubleYou

30

OWL DL & Full : EnumerationOWL DL & Full : Enumerationowl:Class SouthCityowl:Class SouthCity

owl:oneOfowl:oneOf

ex:Niceex:Nice

ex:Marseilleex:Marseille

ex:Montpellierex:Montpellier

ex:Toulouseex:Toulouse

31

Restriction de ValeurRestriction de Valeur

owl:Class Humanowl:Class Human

rdfs:subClassOfrdfs:subClassOf

owl:Restrictionowl:Restriction

owl:onProperty numOfLegowl:onProperty numOfLeg

owl:hasValue 2owl:hasValue 2

32

UnionUnionowl:Class Humanoidowl:Class Humanoid

owl:unionOfowl:unionOf

ex:Chimpanzeeex:Chimpanzee

ex:Gorillaex:Gorilla

ex:Manex:Man

33

ComplementComplementowl:Class Invertebrateowl:Class Invertebrate

owl:complementOfowl:complementOf

VertebrateVertebrate

34

DisjointDisjointowl:Class Manowl:Class Man

owl:disjointWithowl:disjointWith

WomanWoman

35

AutreAutre

<owl:imports <owl:imports rdf:resource=‘#onto.owl’/>rdf:resource=‘#onto.owl’/>

owl:deprecatedClassowl:deprecatedClass

owl:deprecatedPropertyowl:deprecatedProperty