La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

W3C OWL Ontology Web Language Olivier Corby

Présentations similaires


Présentation au sujet: "W3C OWL Ontology Web Language Olivier Corby"— Transcription de la présentation:

1 W3C OWL Ontology Web Language Olivier Corby

2 2 OWL Pour compléter les possibilités dinférences de RDF Raffiner les descriptions

3 3 OWL Logique de description Basée sur RDF Avec une syntaxe RDF/XML 1. OWL Lite 2. OWL DL 3. OWL Full

4 4 OWL Lite Basée sur RDF (moins ) Classes, propriétés et individus sont disjoints Un individu ne peut être aussi une classe, Une classe ne peut être un individu

5 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 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 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 8 OWL Racine owl:Thing owl:Nothing

9 9 Class ex:Human rdf:type owl:Class owl:Class rdfs:subClassOf rdfs:Class

10 10 Classe définie Un humain a des parents humains : Human(x) (parent(x, y) Human(y)) Human : all parent Human

11 11 allValuesFrom owl:Restriction : definit une classe anonyme owl:Class Human rdfs:subClassOf owl:Restriction owl:onProperty parent owl:allValuesFrom Human

12 12 allValuesFrom Marion hasParent Olivier Marion rdf:type Human => Olivier rdf:type Human Pinocchio hasParent Gepetto Gepetto rdf:type Human => On ne peut rien en déduire

13 13 Equivalence owl:Class Human owl:equivalentClass owl:Restriction owl:onProperty parent owl:allValuesFrom Human

14 14 allValuesFrom

15 15 allValuesFrom owl:Class Gorilla rdfs:subClassOf owl:Restriction owl:onProperty parent owl:allValuesFrom Gorilla

16 16 someValuesFrom Human : some parent Woman owl:Class Human rdfs:subClassOf owl:Restriction owl:onProperty parent owl:someValuesFrom Woman

17 17 Cardinalité Cardinality : nombre de valeurs sémantiquement distinctes dune propriété owl:Class Human rdfs:subClassOf owl:Restriction owl:onProperty parent owl:cardinality 2

18 18 Cardinalité owl:cardinality 2 owl:maxCardinality 2 owl:minCardinality 2 OWL Lite : 0 ou 1

19 19 Sous-classe owl:Class Woman rdfs:subClassOf Human rdfs:subClassOf Female Woman Human Female

20 20 Intersection owl:Class Woman owl:intersectionOf owl:Class Human owl:Class Female Définit une équivalence entre Woman et lintersection de Human et Female Human Female Woman

21 21 Axiomes A rdfs:subClassOf B Lextension de A est un sous-ensemble de lextension de B X rdf:type A X rdf:type B A owl:equivalentClass B même extension : CNS X rdf:type A X rdf:type B

22 22 Propriétés owl:ObjectProperty Propriété dont la valeur est un individu (une instance) owl:DatatypeProperty Propriété dont la valeur est une valeur littérale (integer, string, float, boolean, date) owl:AnnotationProperty rdfs:comment rdfs:label Ne participent pas aux inférences, purement documentaire

23 23 Propriétés ex:mother rdfs:subPropertyOf ex:parent rdfs:domain rdfs:range Héritées de RDF

24 24 Equivalence p1 owl:equivalentProperty p2 X p1 Y X p2 Y Quand on importe une ontologie ex:hasPart owl:equivalentProperty ns:sous-partie

25 25 Inverse p1 owl:inverseOf p2 X p1 Y Y p2 X hasParent owl:inverseOf hasChild John hasParent Jim Jim hasChild John

26 26 Symétrie p rdf:type owl:SymmetricProperty X p Y Y p X ex:sibling rdf:type owl:SymmetricProperty John ex:sibling Jack Jack ex:sibling John

27 27 Transitivité owl:TransitiveProperty X p Y Y p Z X p Z ex:partOf rdf:type owl:TransitiveProperty ex:axis ex:partOf ex:engine ex:engine ex:partOf ex:car ex:axis ex:partOf ex:car

28 28 Transitivité Intérêt pour linterrogation : ?x ex:partOf ex:car ex:axis, ex:engine

29 29 Propriété fonctionnelle ex:husband rdf:type owl:FunctionalProperty Une valeur unique pour une ressource donnée X ex:husband Y X ex:husband Z Y = Z

30 30 Propriété fonctionnelle inverse ex:motherOf owl:InverseFunctionalProperty Une ressource unique pour une valeur donnée X ex:motherOf Z Y ex:motherOf Z X = Y

31 31 Individus owl:sameAs individus identiques : BillClinton owl:sameAs WilliamClinton Individus différents : BillClinton owl:differentFrom GeorgesDoubleYou

32 32 OWL DL & Full : Enumeration owl:Class SouthCity owl:oneOf ex:Nice ex:Marseille ex:Montpellier ex:Toulouse

33 33 Restriction de Valeur owl:Class Human rdfs:subClassOf owl:Restriction owl:onProperty numOfLeg owl:hasValue 2

34 34 Union owl:Class Humanoid owl:unionOf ex:Chimpanzee ex:Gorilla ex:Man

35 35 Complement owl:Class Invertebrate owl:complementOf Vertebrate

36 36 Disjoint owl:Class Man owl:disjointWith Woman

37 37 Autre owl:deprecatedClass owl:deprecatedProperty


Télécharger ppt "W3C OWL Ontology Web Language Olivier Corby"

Présentations similaires


Annonces Google