OWL : Web Ontology Language, W3C

1
OWL Web Ontology Language, W3C

• Olivier.Corby_at_sophia.inria.fr
• INRIA, Sophia Antipolis
• http//www.inria.fr/acacia
• Knowledge is Power

2
OWL

• http//www.w3.org/2001/sw/WebOnt
• Pour compléter les possibilités dinférences de
  RDF
• Raffiner les descriptions

3
OWL

• Logique de description
• Basée sur RDF (moins ?)
• OWL Lite
• OWL DL
• OWL Full

4
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 tant
  quindividu

5
Logique de description

• Modèle objet pour la classification de concepts
• concept ensemble dindividus
• rôle relation binaire entre individus
• concept et rôle niveau terminologique (Tbox)
• individus assertion (Abox)

6
LD

• Relation de subsomption organiser les concepts
  par niveau de généralité
• un concept A subsume B si lensemble des
  individus représentés par B est inclus dans
  lensemble des individus de A A est plus
  général que B
• classification déterminer la position dun
  concept dans une hiérarchie de subsomption

7
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

8
OWL Racine

• owlThing
• owlNothing

9
Class

• exHuman rdftype owlClass
• owlClass rdfssubClassOf rdfsClass

10
Classe définie

• Un humain a des parents humains
• Human(x) ? (parent(x, y) ? Human(y))
• Human all parent Human

11
allValuesFrom

• Restriction definit une classe anonyme
• owlClass Human
• rdfssubClassOf
• owlRestriction
• owlonProperty parent
• owlallValuesFrom Human

12
allValuesFrom

• ltowlClass rdfaboutHumangt
• ltrdfssubClassOfgt
• ltowlRestrictiongt
• ltowlonProperty rdfresourceparentgt
• ltowlallValuesFrom rdfresourceHuman/gt
• lt/owlRestrictiongt
• lt/rdfssubClassOfgt
• lt/owlClassgt

13
allValuesFrom

• owlClass Gorilla
• rdfssubClassOf
• owlRestriction
• owlonProperty parent
• owlallValuesFrom Gorilla

14
someValuesFrom

• Human some parent Woman
• owlClass Human
• rdfssubClassOf
• owlRestriction
• owlonProperty parent
• owlsomeValuesFrom Woman

15
Cardinalité

• Cardinality nombre de valeurs sémantiquement
  distinctes dune propriété
• owlClass Human
• rdfssubClassOf
• owlRestriction
• owlonProperty parent
• owlcardinality 2

16
Cardinalité

• owlcardinality 2
• owlmaxCardinality 2
• owlminCardinality 2
• OWL Lite 0 ou 1

17
Sous-classe

• owlClass Woman
• rdfssubClassOf Human
• rdfssubClassOf Female
• Woman ? Human ? Female

18
Intersection

• owlClass Woman
• owlintersectionOf
• owlClass Human
• owlClass Female
• Définit une équivalence entre Woman et
  lintersection de Human et Female
• Human ? Female ? Woman

19
Axiomes

• A rdfssubClassOf B
• Lextension de A est un sous-ensemble de
  lextension de B
• X rdftype A ? X rdftype B
• A owlequivalentClass B
• même extension CNS
• X rdftype A ? X rdftype B

20
Propriétés

• owlObjectProperty
• Propriété dont la valeur est un individu (une
  instance)
• owlDatatypeProperty
• Propriété dont la valeur est une valeur littérale
  (integer, string, float, boolean, date)
• owlAnnotationProperty
• rdfscomment rdfslabel
• Ne participent pas aux inférences, purement
  documentaire

21
Propriétés

• exmother rdfssubPropertyOf exparent
• rdfsdomain
• rdfsrange
• Héritées de RDF

22
Equivalence

• p1 owlequivalentProperty p2
• X p1 Y ? X p2 Y
• Quand on importe une ontologie
• exhasPart owlequivalentProperty nssous-partie

23
Inverse

• p1 owlinverseOf p2
• X p1 Y ? Y p2 X
• hasParent owlinverseOf hasChild
• John hasParent Jim ? Jim hasChild John

24
Symétrie

• p rdftype owlSymmetricProperty
• X p Y ? Y p X
• exsibling rdftype owlSymmetricProperty
• John exsibling Jack ?
• Jack exsibling John

25
Transitivité

• owlTransitiveProperty
• X p Y ? Y p Z ? X p Z
• expartOf rdftype owlTransitiveProperty
• exaxis expartOf exengine
• exengine expartOf excar
• ?
• exaxis expartOf excar

26
Transitivité

• Intérêt pour linterrogation
• ?x expartOf excar
• ?
• exaxis, exengine

27
Propriété fonctionnelle

• exhusband rdftype owlFunctionalProperty
• Une valeur unique pour une ressource donnée
• X exhusband Y
• X exhusband Z
• ?
• Y Z

28
Propriété fonctionnelle inverse

• exmotherOf owlInverseFunctionalProperty
• Une ressource unique pour une valeur donnée
• X exmotherOf Z
• Y exmotherOf Z
• ? X Y

29
Individus

• owlsameAs individus identiques
• BillClinton owlsameAs WilliamClinton
• Individus différents
• BillClinton owldifferentFrom GeorgesDoubleYou

30
OWL DL Full Enumeration

• owlClass SouthCity
• owloneOf
• exNice
• exMarseille
• exMontpellier
• exToulouse

31
Restriction de Valeur

• owlClass Human
• rdfssubClassOf
• owlRestriction
• owlonProperty numOfLeg
• owlhasValue 2

32
Union

• owlClass Humanoid
• owlunionOf
• exChimpanzee
• exGorilla
• exMan

33
Complement

• owlClass Invertebrate
• owlcomplementOf
• Vertebrate

34
Disjoint

• owlClass Man
• owldisjointWith
• Woman

35
Autre

• ltowlimports rdfresourceonto.owl/gt
• owldeprecatedClass
• owldeprecatedProperty