Owl web ontology language w3c
This presentation is the property of its rightful owner.
Sponsored Links
1 / 35

OWL : Web Ontology Language, W3C PowerPoint PPT Presentation


  • 53 Views
  • Uploaded on
  • Presentation posted in: General

OWL : Web Ontology Language, W3C. [email protected] 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.

Download Presentation

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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Owl web ontology language w3c

OWL : Web Ontology Language, W3C

[email protected]

INRIA, Sophia Antipolis

http://www.inria.fr/acacia

«Knowledge is Power»


Owl web ontology language w3c

OWL

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

Pour compléter les possibilités d’inférences de RDF

Raffiner les descriptions


Owl web ontology language w3c

OWL

Logique de description

Basée sur RDF (moins )

OWL Lite

OWL DL

OWL Full


Owl web ontology language w3c

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


Logique de description

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)


Owl web ontology language w3c

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


Owl web ontology language w3c

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


Owl racine

OWL Racine

owl:Thing

owl:Nothing


Class

Class

ex:Human rdf:type owl:Class

owl:Class rdfs:subClassOf rdfs:Class


Classe d finie

Classe définie

Un humain a des parents humains :

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

Human : all parent Human


Allvaluesfrom

allValuesFrom

Restriction : definit une classe anonyme

owl:Class Human

rdfs:subClassOf

owl:Restriction

owl:onProperty parent

owl:allValuesFrom Human


Allvaluesfrom1

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>


Allvaluesfrom2

allValuesFrom

owl:Class Gorilla

rdfs:subClassOf

owl:Restriction

owl:onProperty parent

owl:allValuesFrom Gorilla


Somevaluesfrom

someValuesFrom

Human : some parent Woman

owl:Class Human

rdfs:subClassOf

owl:Restriction

owl:onProperty parent

owl:someValuesFrom Woman


Cardinalit

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


Cardinalit1

Cardinalité

owl:cardinality 2

owl:maxCardinality 2

owl:minCardinality 2

OWL Lite : 0 ou 1


Sous classe

Sous-classe

owl:Class Woman

rdfs:subClassOf Human

rdfs:subClassOf Female

Woman Human  Female


Intersection

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


Axiomes

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


Propri t s

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


Propri t s1

Propriétés

ex:mother rdfs:subPropertyOf ex:parent

rdfs:domain

rdfs:range

Héritées de RDF


Equivalence

Equivalence

p1 owl:equivalentProperty p2

X p1 Y  X p2 Y

Quand on importe une ontologie

ex:hasPart owl:equivalentProperty ns:sous-partie


Inverse

Inverse

p1 owl:inverseOf p2

X p1 Y  Y p2 X

hasParent owl:inverseOf hasChild

John hasParent Jim  Jim hasChild John


Sym trie

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


Transitivit

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


Transitivit1

Transitivité

Intérêt pour l’interrogation :

?x ex:partOf ex:car

ex:axis, ex:engine


Propri t fonctionnelle

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


Propri t fonctionnelle inverse

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


Individus

Individus

owl:sameAs individus identiques :

BillClintonowl:sameAs WilliamClinton

Individus différents :

BillClintonowl:differentFrom GeorgesDoubleYou


Owl dl full enumeration

OWL DL & Full : Enumeration

owl:Class SouthCity

owl:oneOf

ex:Nice

ex:Marseille

ex:Montpellier

ex:Toulouse


Restriction de valeur

Restriction de Valeur

owl:Class Human

rdfs:subClassOf

owl:Restriction

owl:onProperty numOfLeg

owl:hasValue 2


Union

Union

owl:Class Humanoid

owl:unionOf

ex:Chimpanzee

ex:Gorilla

ex:Man


Complement

Complement

owl:Class Invertebrate

owl:complementOf

Vertebrate


Disjoint

Disjoint

owl:Class Man

owl:disjointWith

Woman


Autre

Autre

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

owl:deprecatedClass

owl:deprecatedProperty


  • Login