RDFS Owl

The Semantic Web in a Nutshell
Les Langages du Web Sémantique

Trust
Proof
Digital Signature
Logic
OWL Rules
Catherine Faron Zucker sémantique
RDF RDF Schema SPARQL
faron@polytech.unice.fr syntaxe
XML NS XML Schema
URI Unicode nomage
1 INSA Bourges Catherine Faron Zucker 2
RDF et RDF Schema
RDF Vocabulary Description  RDF sert à annoter des ressources

 Ces annotations reposent sur des vocabulaires
Langage: RDF Schema partagés : des ontologies
 RDF Schema permet de définir en RDF des
vocabulaires RDF
http://www.w3.org/TR/rdf-schema/
 RDF Schema est un ensemble de classes et de
propriétés RDF qui peuvent être utilisées pour
définir des classes et des propriétés (en RDF)
3 INSA Bourges Catherine Faron Zucker 4
Une approche centrée sur les propriétés Signature d’une propriété (1/2)
 RDF diffère des systèmes de typage des  Domain (ou conjonction de domains) + Range
langages à objets en ce sens que :  Une ressource peut être instance de plusieurs classes
plutôt que de définir une classe en terme de
propriétés que possèdent ses instances, ns:vitesse rdf:type rdf:Property
RDFS décrit une propriété en terme de ns:vitesse rdfs:domain ns:Objet
classes de ressources auxquelles elle ns:vitesse rdfs:domain ns:Mobile
s’applique ns:vitesse rdfs:range rdfs:Literal
public class Book { ns:author rdf:type rdf:Property

private String author; ns:author rdfs:domain ns:Document
…} ns: author rdfs:range ns:Person
INSA Bourges Catherine Faron Zucker 5 INSA Bourges Catherine Faron Zucker 6
1
Signature d’une propriété (2/2) Hiérarchies de classes et de propriétés
 Typage  ns:Book rdfs:subClassOf ns:Document
swl:enseignant rdf:type rdf:Property  ns:author rdfs:subPropertyOf ns:actor

swl:enseignant rdfs:domain swl:Cours
swl:enseignant rdfs:range swl:Person  Héritage multiple
_:x swl:enseignant swl:catherine ns:EnseignantChercheur rdfs:subClassOf ns:Enseignant
---------------------------------------------------- ns:EnseignantChercheur rdfs:subClassOf ns:Chercheur
_:x rdf:type swl:Cours
swl:catherine rdf:type swl:Person
Hiérarchies de classes et de propriétés Signatures de propriétés et héritage
 Typage Man subClassOf Primate

Chimpanzee subClassOf Primate
rdf:type rdfs:range rdfs:Class
ex:olivier rdf:type ex:Person <rdf:Property rdf:ID=‘child’>
⇒ ex:Person rdf:type rdfs:Class <rdfs:domain rdf:resource='#Primate'/>
<rdfs:range rdf:resource='#Primate'/>
ex:olivier rdf:type ex:Researcher </rdf:Property>
ex:Researcher rdfs:subClassOf ex:Person
⇒ ex:olivier rdf:type ex:Person <rdf:Property rdf:ID='manChild'>
<rdfs:subPropertyOf rdf:resource='#child'/>
ex:olivier ex:responsableDeCours ex:log3 <rdfs:domain rdf:resource='#Man'/>
ex:responsableDeCours rdfs:subPropertyOf ex:enseignant <rdfs:range rdf:resource='#Man'/>
⇒ ex:olivier ns:enseignant ex:log3 </rdf:Property>
Syntaxe RDF/XML (1/2) Syntaxe RDF/XML (2/2)

<rdf:Property rdf:ID=‘vitesse’>
<rdfs:domain rdf:resource=‘#Objet’/> <rdf:Class rdf:ID=‘Researcher'>
<rdfs:domain rdf:resource=‘#Mobile’/> <rdfs:subClassOf rdf:resource='#Person'/>
<rdfs:range rdf:resource=‘&rdfs;Literal’/>
</rdf:Property>
</rdf:Class>
<rdf:Description rdf:ID=‘vitesse’>
<rdf:Property rdf:ID=‘responsableDeCours'>
<rdf:type>
<rdf:Description rdf:about=‘http://…Property’/> <rdfs:subPropertyOf rdf:resource='#enseignant'/>
</rdf:type> </rdf:Property>
<rdf:domain>
<rdf:Description rdf:about=‘#Objet’/>
</rdf:domain>
…
</rdf:Description>
2
Une annotation basée sur une ontologie Cohabitation de plusieurs schémas
<rdf:Description rdf:about=‘olivier’>  Grâce aux namespaces XML

<rdf:type rdf:resource=‘#Chercheur’/>
<ns:institut>INRIA</ns:institut>
<rdf:Description
<swl:responsableDeCours> xmlns:rdf=`&rdf;’
<Cours rdf:resource=‘http://courswiki.essi.fr…’> xmlns:ns=`http://www.inria.fr/acacia/cours#’
</swl:responsableDeCours> xmlns:swl=`http://courswiki.essi.fr/LOG/SemanticWebLangages#’>
<rdf:type rdf:resource=‘#Enseignant’/>
<ns:institut>INRIA</ns:institut>
<ns:etablissement>EPU</ns:etablissement>
<swl:etablissement>EPU</swl:etablissement>
</rdf:Description>
</rdf:Description>
Rdfs:label Rdfs:comment
 Une ressource peut avoir un ou plusieurs  Définition en langage naturel

noms externes appelés labels
 Les labels sont multilingues <rdfs:Class rdf:about=‘#Thing’>
<rdf:Property rdf:ID=‘name’> <rdfs:comment xml:lang=‘fr’>La racine de la hiérarchie des
<rdfs:domain rdf:resource='Person'/> classes</rdfs:comment>
<rdfs:range rdf:resource=’&rdfs;Literal'/> <rdfs:comment xml:lang=‘en’>The root of the class
hierarchy</rdfs:comment>
<rdfs:label xml:lang='fr'>nom</rdfs:label>
<rdfs:label xml:lang='en'>name</rdfs:label> </rdfs:Class>
</rdf:Property>
Rdfs:seeAlso Méta-modèle RDF
<rdfs:Class rdf:about=‘#Man’>  rdfs:Class: méta-classe qui engendre les classes,

<rdfs:seeAlso rdf:resource=‘#Person’/> instance d’elle-même
</rdfs:Class>
rdf:type
rdfs:Class
rdf:type rdf:type
rdf:Property rdfs:Resource
rdf:type
(ceci est un graphe RDF!!!) rdfs:Literal
3
Méta-modèle RDF Méta-modèle RDF
 rdfs:Resource: classe racine de la hiérarchie de  Modèle standard de bootstrap ObjVLisp

subsomption des classes
 rdfs:Resource: classe racine de la hiérarchie de
rdfs:Resource rdfs:Literal subsomption des classes, instance de rdfs:Class
rdf:subClassOf rdf:subClassOf  rdfs:Class: méta-classe qui engendre les classes,
instance d’elle-même, sous-classe de rdfs:Resource
rdf:Property rdfs:Class
 rdfs:Resource rdf:type rdfs:Class
 rdfs:Class rdf:type rdfs:Class
 rdfs:Class rdfs:subClassOf rdfs:Resource
(ceci est un graphe RDF!!!)
Méta-modèle RDF Méta-modèle RDF

rdf:type rdf:Property
rdf:type
rdf:type
rdf:type
rdf:type  rdf:Property La classe des propriétés
rdfs:range
rdfs:domain rdf:type
rdf:type rdf:type
rdfs:subClassOf rdf:type  rdf:Property rdf:type rdfs:Class
rdfs:subPropertyOf
rdfs:label rdfs:seeAlso  rdf:Property rdfs:subClassOf rdfs:Resource
rdfs:comment
(ceci est un graphe RDF!!!)
Méta-modèle RDF Extension du méta-modèle RDF (1/2)
 rdf:type relation d’instanciation ex:isa rdfs:subPropertyOf rdf:type

rdf:type rdf:type rdf:Property ex:ma4L ex:isa ex:Car
 rdfs:subClassOf relation de subsomption ex:extends rdfs:subPropertyOf rdfs:subClassOf

rdfs:subClassOf rdf:type rdf:Property ex:Car ex:extends ex:Mobile
 rdfs:subPropertyOf relation de subsomption ex:Concept ex:extends rdfs:Class

rdfs:subPropertyOf rdf:type rdf:Property ex:Car ex:isa ex:Concept
4
Extension du méta-modèle RDF (2/2) Exemple de Schema RDFS (1/2)
ex:Relation rdfs:subClassOf rdf:Property <rdfs:Class rdf:ID="Document">

<rdfs:subClassOf rdf:resource="#Entity"/>
ex:hasDomain rdfs:subPropertyOf rdfs:domain <rdfs:subClassOf rdf:resource="#EntityConcerningATopic"/>
<rdfs:subClassOf rdf:resource="#NumberableEntity"/>
ex:valueType rdfs:subPropertyOf rdfs:range <rdfs:comment xml:lang="en">Entity including elements serving as
a representation of thinking.</rdfs:comment>
<rdfs:comment xml:lang="fr">Entite comprenant des elements de
ex:speed ex:isa ex:Relation representation de la pensee.</rdfs:comment>
<rdfs:label xml:lang="en">document</rdfs:label>
ex:speed ex:hasDomain ex:Mobile <rdfs:label xml:lang="fr">document</rdfs:label>
ex:speed ex:valueType xsd:float </rdfs:Class>
Exemple de Schema RDFS (2/2) Exemple d’annotation RDF

<c:ResearchReport rdf:about=” http://www.inria.fr/rapports/sophia/RR-3071.html">
<c:title>Modèles Génériques de Gestion de Conflits dans la
<rdf:Property rdf:ID="Designation"> Conception Concourante</c:title>
<rdfs:subPropertyOf rdf:resource="#SomeRelation"/> <c:CreationDate>12-1996</c:CreationDate>
<c:CreatedBy>
<rdfs:range rdf:resource=”&rdfs;#Literal"/> <c:Person rdf:about=" http://www.inria.fr/acacia/Olivier.Corby">
<rdfs:domain rdf:resource="#Something"/> <c:FirstName>Olivier</c:FirstName>
<c:FamilyName>Corby</c:FamilyName></c:Person>
<rdfs:comment xml:lang="en">Identifying word or words by which a </c:CreatedBy>
thing is called and classified or distinguished from …
others.</rdfs:comment> <c:CreatedBy>
<rdfs:comment xml:lang="fr">Identifiant le ou les mots par lesquels <c:ProjectGroup
une chose s appelle et est classifiee ou distinguee des rdf:about="http://www.inria.fr/recherche/equipes/acacia.en.html">
autres.</rdfs:comment> <c:Designation>Acacia</c:Designation>
<rdfs:label xml:lang="en">designation</rdfs:label> </c:ProjectGroup>
<rdfs:label xml:lang="fr">designation</rdfs:label> </c:CreatedBy>
</rdf:Property> </c:ResearchReport>
Autres exemples RDF Retour sur SPARQL

 Répertoire de schema : http://www.schemaweb.info/  RDF data
 W3C Composite Capability/Preference Profiles :
_:x rdf:type swl:Homme
http://www.w3.org/TR/CCPP-struct-vocab
_:y rdf:type swl:Femme
 Site Syndication : http://web.resource.org/rss/1.0/
 Dublin Core
 Adobe XMP extensible metadata platform  RDFS data
 Topic Map en RDF swl:Homme rdfs:subClassOf swl:HumanBeing
 PRISM: Publishing Requirements for Industry Standard Metadata swl:Femme rdfs:subClassOf swl:HumanBeing
 Gene Ontology
RDF binding IEEE LOM Learning Object Metadata

 SPARQL
 Ontology Development Metamodel (binding UML RDF OWL)
www.omg.org/docs/ontology/04-08-01.pdf SELECT _:h WHERE { _:h rdf:type swl:HumanBeing }
5
Retour sur SPARQL Retour sur la projection de graphes
 RDF(S) data  G subsume G’ ssi il existe une projection de G dans G’

swl:Homme rdfs:subClassOf swl:HumanBeing
swl:Femme rdfs:subClassOf swl:HumanBeing
 Une projection de G dans G’ est une application π des
swl:HumanBeing rdf:type rdfs:Class
sommets de G dans ceux de G’ telle que:
 Pour tout sommet x de G, e(x) ≥ π(e(x))
 SPARQL  Pour tout arc <s, p, o> de G, < π(s), π(p), π(o)> est arc de G’
SELECT _:c WHERE { _:c rdf:type swl:Class }
Recherche approchée
 Offerte par CORESE Règles ontologiques

 Distance ontologique
Une projection approchée de G dans G’ est une application
π des sommets de G dans ceux de G’ telle que:
- Pour tout sommet x de G,
e(x) est proche de π(e(x)) dans l’ontologie
- Pour tout arc <s, p, o> de G,
< π(s), π(p), π(o)> est arc de G’
 Chemin de relations
INSA Bourges Catherine Faron Zucker 33 34
If … Then … Règles usuelles
 Compléter une base RDF à l’aide de règles  Transitivité

définies dans l’ontologie  subClassOf, subPropertyOf, ancetreDe
 Application des règles sur la base RDF
 en chaînage avant  Symétrie
 à saturation  mariedWith
 Condition d’application
 Il existe une projection du graphe en prémisse de  Propriétés inverses
la règle sur la base RDF
 parentDe inverse de enfantDe
6
Règles liées au domaine
 Si un membre d’une équipe de recherche a

un centre d’intérêt, alors cette équipe a aussi
Web Ontology Language
ce centre d’intérêt OWL
?person interestedBy ?topic
?person member ?researchTeam
--------------------------------------------- http://www.w3.org/2004/OWL/
?team interestedBy ?topic
INSA Bourges Catherine Faron Zucker 37 38
OWL in a Nutshell OWL in a Nutshell
 OWL « au-dessus » de RDFS  Propriétés algébriques des propriétés

 ex:isMarriedWith est symétrique
 xmlns:owl=http://www.w3.org/2002/07/owl#
 Alignement d’ontologies
 ex1:Voiture est équivalent à ex2:Car
 3 niveaux d’expressivité  Contraintes de cohérence
 OWL Lite  ex:Homme et ex:Femme sont disjointes
 Définition formelle de classes
 OWL DL
 ex:Manager(?x) ssi ?x manage ?y
 OWL Full  Restrictions des propriétés et raffinement
 Le range de ex:child devient ex:Human pour ex:Human
OWL héritier des DL OWL héritier des DL
 Class axioms  Definitions partielles

 Property axioms  Conditions nécessaires: rdfs:subClassOf, rdfs:subPropertyOf
Homme < Personne
 Facts about individuals Femme < (and Personne (not Homme))
membre < toprole
 Logiques de Description (DL)  Definitions complètes

 Conditions nécessaires et suffisantes: owl:equivalentClass
 niveau assertionnel (Abox) qui manipule les Equipe = (and Ensemble
individus (all membre Personne)
 niveau terminologique (Tbox) qui manipule (atleast 2 membre))
concepts (classes) et rôles (propriétés)
7
OWL héritier des DL Descriptions de classe
 Classification de concepts et de rôles  Class identifier (URI reference)

 Identification d’instances  Exhaustive enumeration of individuals that
 Complexité algorithmique fonction de together form the instances of a class
l’expressivité de la DL considérée  Property restriction
 Famille de DL  Intersection of two or more class descriptions
 D’où les 3 couches de OWL  Union of two or more class descriptions
 Complement of a class description
Descriptions de classe Descriptions de classe
 La classe des classes OWL  Enumeration d’individus: definition en extension

 Toutes les descriptions de classe sont typées owl:Class
<owl:Class>
 owl:Class rdfs:subClassOf rdfs:Class <owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="#Eurasia"/>
<owl:Thing rdf:about="#Africa"/>
 Classe nommée <owl:Thing rdf:about="#NorthAmerica"/>
<owl:Class rdf:ID="Human"/> <owl:Thing rdf:about="#SouthAmerica"/>
<owl:Thing rdf:about="#Australia"/>
<owl:Thing rdf:about="#Antarctica"/>
</owl:oneOf>
</owl:Class>
 Property restriction  Property restriction

 Value constraints  Value constraints
 Restriction de toutes les valeurs d’une propriété  Restriction d’au moins une valeur d’une propriété
<owl:Restriction>
<owl:Restriction> <owl:onProperty rdf:resource="#hasParent"/>
<owl:someValuesFrom rdf:resource="#Physician"/>
<owl:onProperty rdf:resource="#hasParent"/> </owl:Restriction>
<owl:allValuesFrom rdf:resource="#Human"/>
</owl:Restriction>
 Donnée de la valeur d’une propriété
<owl:Restriction>
<owl:onProperty rdf:resource="#hasParent"/>
<owl:hasValue rdf:resource="#Sarkosy"/>
</owl:Restriction>
8
 Property restriction  Intersection, Union, Complement

 Cardinality constraints  Intersection
Contrainte sur le nb de fois où une ressource est sujet <owl:Class rdf:ID="Man">
d’une même propriété avec des valeurs différentes <owl:intersectionOf
rdf:parseType= "Collection">
<owl:Class rdf:ID= "#Male"/>
<owl:Restriction>
<owl:Class rdf:ID= "#Person"/>
<owl:onProperty rdf:resource="#hasParent"/> </owl:intersectionOf>
<owl:maxCardinality>2</owl:maxCardinality>
</owl:Class>
</owl:Restriction>
 Union owl:unionOf
owl:minCardinality
owl:cardinality
Descriptions de classe Axiomes de classe
 Intersection, Union, Complement  owl:Class

 Complement : « négation » <owl:Class rdf:ID="Human"/>
<owl:Class rdf:ID="Man">
<owl:Class rdf:ID="Man"> <owl:complementOf rdf:resource="#Female"/>
<owl:complementOf rdf:resource="#Female"/> </owl:Class>
</owl:Class>
<owl:Class rdf:ID="Man">
<owl:Restriction>
<owl:onProperty rdf:resource="#hasParent"/>
<owl:hasValue rdf:resource="#Sarkosy"/>
</owl:Restriction>
</owl:Class>
Axiomes de classe Axiomes de classe

 rdfs:subclassOf  owl:equivalentClass
<owl:Class rdf:ID="Opera">  Equivalence en terme d’extension
<rdfs:subClassOf rdf:resource="#MusicalWork"/>  Les concepts ainsi définis restent différents
</owl:Class>
<owl:Class rdf:about="#Opera"> <owl:Class rdf:about="#FR_President">
<rdfs:subClassOf> <owl:equivalentClass
<owl:Restriction> rdf:resource="#PrincipalResidentOfElysee"/>
<owl:onProperty rdf:resource="#hasLibrettist"/> </owl:Class>
<owl:minCardinality>1</owl:minCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
9
Axiomes de classe Axiomes de Propriété
 owl:disjointWith  Classes de propriétés OWL
 Sous-classes de rdf:Property
<owl:Class rdf:about="#FR_President">
 owl:ObjectProperty
<owl:equivalentClass
rdf:resource="#PrincipalResidentOfElysee"/>  owl:DataTypeProperty
</owl:Class>  owl:AnnotationProperty
 owl:OntologyProperty
 RDFS constructs
 rdfs:subPropertyOf
 rdfs:domain
 rdfs:range
Axiomes de Propriété Individus

 Propriétés algébriques de propriétés
<owl:SymmetricProperty rdf:ID="hasSpouse/">  Descriptions des types et propriétés en RDF
<owl:TransitiveProperty rdf:ID="hasAncestor/">  Identités d’individus
 Relations entre propriétés  owl:sameAs
 Relations inverse <rdf:Description rdf:about="#William_Jefferson_Clinton">
<owl:ObjectProperty rdf:ID="hasChild"> <owl:sameAs rdf:resource="#BillClinton"/>
<owl:inverseOf rdf:resource="#hasParent"/> </rdf:Description>
</owl:ObjectProperty> <rdf:Description rdf:ID="FootBallTeam">
 Relations équivalentes (en termes d’extension) <owl:sameAs rdf:resource="ns2:#SoccerTeam"/>
owl:equivalentProperty </rdf:Description>
 Contraintes de cardinalité  owl:differentFrom
<owl:FunctionalProperty rdf:ID="#hasMother"/>  owl:allDifferent
<owl:InverseFunctionalProperty rdf:ID="#isMotherOf"/>
Annotations Entête d’ontologie
 Sur les classes, propriétés et individus  Une ontologie est une ressource
 à l’aide de propriétés instances de la classe  qui peut donc être décrite avec des propriété instances de la
owl:AnnotationProperty classe owl:OntologyProperty
 owl:versionInfo <owl:Ontology rdf:about="">

 rdfs:label <owl:versionInfo>v 1.1 2008</owl:versionInfo>
<rdfs:comment>An example ontology</rdfs:comment>
 rdfs:comment
<owl:imports
 rdfs:seeAlso rdf:resource="http://www.example.org/foo"/>
 rdfs:isDefinedBy </owl:Ontology>
10
Versioning OWL Full
 owl:versionInfo  Mélange libre des constructs RDFS et OWL

 owl:priorVersion  owl:Class équivalent à rdfs:Class
 owl:Thing équivalent à rdf:Resource
 owl:backwardCompatibleWith  Toute ressource est un individu
 owl:incompatibleWith (y compris les classes et propriétés)

 owl:ObjectProperty équivalent à rdf:Property
 owl:DeprecatedClass  Et donc owl:DatatypeProperty subClassOf owl:ObjectProperty
 owl:DeprecatedProperty  N’est pas décidable
OWL DL OWL Lite

 Pairwise separation between classes, datatypes, datatype  OWL Lite forbids the use of:
properties, object properties, annotation properties, ontology
properties, individuals, data values and the built-in vocabulary  owl:oneOf
 Disjointness of the sets of object properties and datatype  owl:unionOf
properties implies that ‘inverse of’, ‘inverse functional’, ‘symmetric’,
and ‘transitive’ can never be specified for datatype properties  owl:complementOf
 No cardinality constraints can be placed on transitive properties  owl:hasValue

or their inverses or any of their superproperties  owl:disjointWith
 Most RDF(S) vocabulary cannot be used within OWL DL
 owl:DataRange
 All classes and properties that one refers to are explicitly typed
as OWL classes or properties, respectively  N’autorise pas de cardinalité autre que 0 ou 1
 Axioms (facts) about individual equality and difference must be
about named individuals
Exercice Exercice
 Definition de classe en extension  Intersection de classes
<owl:Class rdf:ID="CouleurYeux"> <owl:Class rdf:ID="Man">

<owl:oneOf rdf:parseType= "Collection"> <owl:intersectionOf rdf:parseType= "Collection">
<owl:Thing rdf:ID= "Bleu"/> <owl:Class rdf:ID= "#Male"/>
<owl:Thing rdf:ID= "Vert"/> <owl:Class rdf:ID= "#Person"/>
</owl:intersectionOf>
<owl:Thing rdf:ID= "Marron"/>
</owl:Class>
</owl:oneOf>
</owl:Class>
11
Exercice Exercice
 Classes complémentaires  Restriction de toutes les valeurs d’une propriété
<owl:Class rdf:ID="Male"> <owl:Class rdf:ID="Herbivore">
<owl:complementOf rdf:resource="#Female"/> <subClassOf rdf:resource="Animal">
<owl:Class/>
<subClassOf>
<owl:Restriction>
 Classes disjointes
<owl:onProperty
rdf:resource="#eats"/>
<owl:Class rdf:ID="Carre">
<owl:allValuesFrom
<owl:disjointWith rdf:resource="#Rond"/> rdf:resource="#Plant"/>
</owl:Class>
</owl:restriction>
</subClassOf>
</owl:Class>
Exercice Exercice
 Restriction d’au moins une valeur de propriété  Imposer une valeur exacte
<owl:Class rdf:ID="Sportive"> <owl:Class rdf:ID="DeuxRoues">

<owl:equivalentClass> <subClassOf>
<owl:Restriction> <owl:Restriction>
<owl:onProperty rdf:resource="#hobby"/> <owl:onProperty
<owl:someValuesFrom rdf:resource="#nbRoues"/>
rdf:resource="#Sport"/> <owl:hasValue>2</owl:hasValue>
</owl:Restriction> </owl:restriction>
</owl:equivalentClass> </subClassOf>
</owl:Class> </owl:Class>
Exercice
 Contraindre la cardinalité d’une propriété
<owl:Class rdf:ID="Person">
<subClassOf>
<owl:Restriction>
<owl:onProperty
rdf:resource="#nom"/>
<owl:maxCardinality>1</owl:maxCardinality>
</owl:Restriction>
</subClassOf>
</owl:Class>
INSA Bourges Catherine Faron Zucker 71
12

RDFS Owl

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

RDFS Owl

Transféré par

Droits d'auteur :

Formats disponibles

The Semantic Web in a Nutshell

Les Langages du Web Sémantique

URI Unicode nomage

1 INSA Bourges Catherine Faron Zucker 2

RDF et RDF Schema

RDF Vocabulary Description  RDF sert à annoter des ressources

3 INSA Bourges Catherine Faron Zucker 4

public class Book { ns:author rdf:type rdf:Property

 Typage  ns:Book rdfs:subClassOf ns:Document

swl:enseignant rdf:type rdf:Property  ns:author rdfs:subPropertyOf ns:actor

Hiérarchies de classes et de propriétés Signatures de propriétés et héritage

 Typage Man subClassOf Primate

Syntaxe RDF/XML (1/2) Syntaxe RDF/XML (2/2)

<rdf:Description rdf:about=‘olivier’>  Grâce aux namespaces XML

 Une ressource peut avoir un ou plusieurs  Définition en langage naturel

Rdfs:seeAlso Méta-modèle RDF

<rdfs:Class rdf:about=‘#Man’>  rdfs:Class: méta-classe qui engendre les classes,

(ceci est un graphe RDF!!!) rdfs:Literal

 rdfs:Resource: classe racine de la hiérarchie de  Modèle standard de bootstrap ObjVLisp

Méta-modèle RDF Méta-modèle RDF

(ceci est un graphe RDF!!!)

Méta-modèle RDF Extension du méta-modèle RDF (1/2)

 rdf:type relation d’instanciation ex:isa rdfs:subPropertyOf rdf:type

 rdfs:subClassOf relation de subsomption ex:extends rdfs:subPropertyOf rdfs:subClassOf

 rdfs:subPropertyOf relation de subsomption ex:Concept ex:extends rdfs:Class

ex:Relation rdfs:subClassOf rdf:Property <rdfs:Class rdf:ID="Document">

Exemple de Schema RDFS (2/2) Exemple d’annotation RDF

Autres exemples RDF Retour sur SPARQL

 RDF(S) data  G subsume G’ ssi il existe une projection de G dans G’

 Offerte par CORESE Règles ontologiques

INSA Bourges Catherine Faron Zucker 33 34

If … Then … Règles usuelles

 Compléter une base RDF à l’aide de règles  Transitivité

 Si un membre d’une équipe de recherche a

INSA Bourges Catherine Faron Zucker 37 38

OWL in a Nutshell OWL in a Nutshell

 OWL « au-dessus » de RDFS  Propriétés algébriques des propriétés

OWL héritier des DL OWL héritier des DL

 Class axioms  Definitions partielles

 Logiques de Description (DL)  Definitions complètes

 Classification de concepts et de rôles  Class identifier (URI reference)

Descriptions de classe Descriptions de classe

 La classe des classes OWL  Enumeration d’individus: definition en extension

Descriptions de classe Descriptions de classe

 Property restriction  Property restriction

 Property restriction  Intersection, Union, Complement

Descriptions de classe Axiomes de classe

 Intersection, Union, Complement  owl:Class

Axiomes de classe Axiomes de classe

Axiomes de Propriété Individus

Annotations Entête d’ontologie

 owl:versionInfo <owl:Ontology rdf:about="">

 owl:versionInfo  Mélange libre des constructs RDFS et OWL

 owl:incompatibleWith (y compris les classes et propriétés)

OWL DL OWL Lite

 No cardinality constraints can be placed on transitive properties  owl:hasValue

 Definition de classe en extension  Intersection de classes

<owl:Class rdf:ID="CouleurYeux"> <owl:Class rdf:ID="Man">

<owl:Class rdf:ID="Sportive"> <owl:Class rdf:ID="DeuxRoues">

 Contraindre la cardinalité d’une propriété

INSA Bourges Catherine Faron Zucker 71

Vous aimerez peut-être aussi