1. Le langage OWL
• Le langage OWL
• Le langange OWL - pseudo acronyme de Web
Ontology Language - [Dean et al., 2004]
2. • Pour représenter des ontologies et des faits, le langage OWL enrichit le langage RDF(S)
• en fournissant un vocabulaire riche qui permet principalement de modéliser en classes,
• relations et individus un domaine donné. Dans le « jargon » OWL, une relation est appelée
• une propriété de par son origine RDF(S) Le langage OWL offre une vision ensembliste de
modélisation des connaissances d’un domaine. Il s’agit de regrouper des ensembles de faits
au sein de structrures génériques.
• En effet, OWL fournit un niveau d’abstraction de modélisation permettant d’une part de
• structurer et regrouper en classes des ressources ayant des caractéristiques communes.
• Ces ressources, appartenant au niveau factuel d’une modélisation, sont appelées des
assertions ou encore instances ou individus. Les classes appartiennent au niveau structurel de
• la modélisation. Une classe constitue donc un type pour un ensemble d’individus ; cet
ensemble constitue à son tour l’extension de la classe. Notons la prise en compte de
datatypes
3. • 2.3.1 Connaissances structurelles d’un domaine
• 2.3.1.1 Classe
• Une classe constitue un type pour un ensemble d’individus, qui
partagent des caractéristiques communes. Par exemple, la classe
Conducteur représent l’ensemble des individus qui conduisent un
véhicule, c’est-à-dire qui ont pour caractéristique commune de
conduire un véhicule. Il existe deux classes prédéfinies en OWL, à
savoir les classes owl:Thing
• et owl:Nothing. L’extension de classe de owl:Thing est l’ensemble
de tous les individus du domaine modélisé.
• L’extension de classe de owl:Nothing est l’ensemble vide.
• Les classes d’une modélisation sont élaborées par des descriptions
de classes ou des axiomes de classes. Chaque description de classe
constitue la définition d’une classe. Ces
4. • Axiome de classe
• Les axiomes de classes permettent, en combinant des descriptions de classes, de
définir
• partiellement ou totalement une classe.
• L’axiome de classe le plus élémentaire déclare juste l’existence de la classe au
moyen
• de l’élément syntaxique owl:Class et d’un identifiant pour cette classe. L’exemple
suivant
• nous indique de l’existence de la classe Homme.
• <owl:Class rdf:about="Homme" />
• Cependant cette déclaration d’existence ne nous apprend pas grand chose de la
classe
• Homme ; les axiomes de classes sous-classe, disjonction et équivalence permettent
d’affiner la
• caractérisation des classes.
•
5. • Sous-classe
• Si une classe C1 est définie (partiellement) comme sous-classe de la
classe C2, alors
• l’ensemble des individus dans l’extension de C1 devrait être un
sous-ensemble de l’ensemble
• des individus dans l’extension de C2. Une classe peut avoir un
nombre quelconque
• d’axiomes rdfs:subClassOf. L’exemple suivant indique que la classe
Homme est une
• sous-classe de la classe Personne.
• <owl:Class rdf:about="Homme">
• <rdfs:subClassOf rdf:resource="#Personne" />
• </owl:Class>
6. • Les axiomes de classes peuvent devenir plus complexes
lorsque les descriptions de classes s’imbriquent. Par
exemple, l’axiome de classe suivant définit l’opéra
italien traditionnel comme étant une sous-classe des
opéras, et ayant pour genre opera seria, ou bien
• opera buffa (sans contrainte de cardinalité, il pourrait
en fait avoir les deux valeurs).
• <owl:Class rdf:about="OpéraItalienTraditionnel">
• <rdfs:subClassOf rdf:resource="#Opéra"/>
• <rdfs:subClassOf>
• <owl:Restriction>