Les Primitives (OWL)
Les Primitives (OWL)
Les Primitives (OWL)
d’ontologies (OWL)
Responsable : Dr. Sabrine NAIMI
Présenté par : Ali ZIDANI
AU: 2023/2024
PLAN
Motivation
introduction
Primitives OWL
Objectifs de Modélisation
Bonnes Pratiques de Modélisation
Gestion des Relations avec d'autres
Concepts OWL**
Validation et Vérification**
Conclusion
11/12/2023 2
MOTIVATION
11/12/2023 3
LANGAGE OWL (WEB
ONTOLOGY LANGUAGE)
Rappel
Définition formelle
Sémantique
11/12/2023 4
LANGAGE OWL
Rappel
Lite simple.
DL
• offre un équilibre entre
expressivité et décidabilité.
Full décidable.
11/12/2023 5
INTRODUCTION
11/12/2023 9
BONNES PRATIQUES DE
MODÉLISATION
11/12/2023 10
GESTION DES
RELATIONS AVEC
D'AUTRES CONCEPTS
Relations Clés :
intersectionOf,
OWL
unionOf,
subClassOf,
disjointWith
Exemple : si nous avons une classe "Véhicule" et une
classe "Véhicule électrique", `subClassOf` pourrait être
utilisé pour exprimer que tous les véhicules électriques
sont des véhicules.
11/12/2023 11
VALIDATION ET
VÉRIFICATION
Étapes de Validation : Les étapes de validation
peuvent inclure la vérification syntaxique à l'aide
d'outils tels que des éditeurs d'ontologie, et la
validation sémantique en utilisant des
raisonneurs OWL.
Outils de Vérification : Pellet, ou HermiT
peuvent être utilisés pour vérifier la validité et la
cohérence des ontologies créées avec des
Primitives OWL.
11/12/2023 12
DÉFINITION DE CLASSES
11/12/2023 13
DÉFINITION DE CLASSES
Intersection, union, complément
Définition d’une class à partir d’autres classes :
• owl:intersectionOf, owl:unionOf, owl:complementOf
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="mycontinents">
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="#Europe" />
<owl:Thing rdf:about="#Asia" />
<owl:Thing rdf:about="#America" />
<owl:Thing rdf:about="#Africa" />
<owl:Thing rdf:about="#Australia" />
</owl:oneOf>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
11/12/2023 14
DÉFINITION DE CLASSES
Définition de propriétés
• RDF Schema : rdfs:subPropertyOf, rdfs:domain et
rdfs:range
• Relations entre propriétés :
– owl:equivalentProperty : les deux propriétés ont la
même extension, mais ne sont pas identiques :
– owl:inverseOf : une propriété est l’inverse de l’autre.
<owl:ObjectProperty rdf:ID="enfant">
<owl:inverseOf rdf:resource="#parent"/>
</owl:ObjectProperty>
11/12/2023 15
DÉFINITION DE CLASSES
• Contraintes de cardinalité :
– owl:FunctionalProperty : propriétés mono-valuées
– owl:InverseFunctionalProperty :
<owl:InverseFunctionalProperty rdf:ID="mèreBiologique">
<rdfs:domain rdf:resource="#femme"/>
<rdfs:range rdf:resource="#personne"/>
</owl:InverseFunctionalProperty>
• Contraintes logiques :
– owl:SymmetricProperty (époux)
– owl:TransitiveProperty (ancêtre)
11/12/2023 16
OWL: DÉFINITION DE
CLASSES
Commentaires et compatibilité
Commentaires :
• rdfs:label, rdfs:comment, rdfs:seeAlso,
rdfs:isDefinedBy
Compatibilité :
• owl:versionInfo, owl:priorVersion,
owl:backwardCompatibleWith,
owl:incompatibleWith
• owl:DeprecatedClass, owl:DeprecatedProperty
11/12/2023 17
CONCLUSION
les primitives OWL occupent un rôle
central dans le Web sémantique en
permettant une représentation formelle des
relations entre les concepts. De
l'intersection d'entités à la modélisation de
relations hiérarchiques, chaque primitive
contribue à une représentation sémantique
puissante et précise.
11/12/2023 18
11/12/2023 19