1 / 35

OWL : Web Ontology Language, W3C

OWL : Web Ontology Language, W3C. Olivier.Corby@sophia.inria.fr INRIA, Sophia Antipolis http://www.inria.fr/acacia « Knowledge is Power ». OWL. http://www.w3.org/2001/sw/WebOnt Pour compl é ter les possibilit é s d’inf é rences de RDF Raffiner les descriptions. OWL.

elon
Télécharger la présentation

OWL : Web Ontology Language, W3C

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. OWL : Web Ontology Language, W3C Olivier.Corby@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 d’infé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 qu’individu

  5. 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)

  6. 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

  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 owl:Thing owl:Nothing

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

  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 owl:Class Human rdfs:subClassOf owl:Restriction owl:onProperty parent owl:allValuesFrom Human

  12. allValuesFrom <owl:Class rdf:about=‘#Human’> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource=‘#parent’> <owl:allValuesFrom rdf:resource=‘#Human’/> </owl:Restriction> </rdfs:subClassOf> </owl:Class>

  13. allValuesFrom owl:Class Gorilla rdfs:subClassOf owl:Restriction owl:onProperty parent owl:allValuesFrom Gorilla

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

  15. Cardinalité Cardinality : nombre de valeurs sémantiquement distinctes d’une propriété owl:Class Human rdfs:subClassOf owl:Restriction owl:onProperty parent owl:cardinality 2

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

  17. Sous-classe owl:Class Woman rdfs:subClassOf Human rdfs:subClassOf Female Woman Human  Female

  18. Intersection owl:Class Woman owl:intersectionOf owl:Class Human owl:Class Female Définit une équivalence entre Woman et l’intersection de Human et Female Human Female Woman

  19. Axiomes A rdfs:subClassOf B L’extension de A est un sous-ensemble de l’extension 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

  20. 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

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

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

  23. Inverse p1 owl:inverseOf p2 X p1 Y  Y p2 X hasParent owl:inverseOf hasChild John hasParent Jim  Jim hasChild John

  24. 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

  25. 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

  26. Transitivité Intérêt pour l’interrogation : ?x ex:partOf ex:car  ex:axis, ex:engine

  27. 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

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

  29. Individus owl:sameAs individus identiques : BillClintonowl:sameAs WilliamClinton Individus différents : BillClintonowl:differentFrom GeorgesDoubleYou

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

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

  32. Union owl:Class Humanoid owl:unionOf ex:Chimpanzee ex:Gorilla ex:Man

  33. Complement owl:Class Invertebrate owl:complementOf Vertebrate

  34. Disjoint owl:Class Man owl:disjointWith Woman

  35. Autre <owl:imports rdf:resource=‘#onto.owl’/> owl:deprecatedClass owl:deprecatedProperty

More Related