Download - OWL : Web Ontology Language, W3C
1
OWL : Web Ontology OWL : Web Ontology Language, W3CLanguage, W3C
[email protected]@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