Protg-OWL Tutorial

8 th International Protg Confrence Madrid, July 2005 Nick Drummond, Matthew Horridge,

University of Manchester University of Manchester, University of Standford

Holger Knublauch

Systmes Intelligents M2- BD-IA

Protg-OWL Tutorial Plan

Introduction RDF et OWL Lite OWL-DL

Classes et proprits Classes dfinies Raisonnement

OWL-Full Complments
Systmes Intelligents M2- BD-IA 2

Protg-OWL Tutorial Le Web smantique

Plate-forme pour le partage de la reprsentation de domaines / dontologies de domaines

Modliss par les hommes Comprhensibles par les machines XML, RDF, OWL ..SWRL

Les langages standard du W3C

Semantic Web Rule Language : langage qui combine OWL et RuleML qui est un langage base de rgles
Systmes Intelligents M2- BD-IA 3

Protg-OWL Tutorial RDF (S)

Langage de reprsentation simple pour reprsenter un domaine

Description de ressources et de liens entre ces ressources

Classes, Proprits, individus (instances)

Systmes Intelligents M2- BD-IA

Protg-OWL Tutorial Interface Interface Utilisateur

Systmes Intelligents M2- BD-IA

Protg-OWL Tutorial Interface Interface Utilisateur

Systmes Intelligents M2- BD-IA

Protg-OWL Tutorial Interface Interface Utilisateur

Systmes Intelligents M2- BD-IA

Protg-OWL Tutorial Sauvegarde (projet .pprj, fichier .owl)

<?xml version="1.0"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" . <owl:Ontology rdf:about=""/> <rdfs:Class rdf:ID="City"><rdfs:subClassOf> <rdfs:Class rdf:ID="Area"/></rdfs:subClassOf> </rdfs:Class> <rdfs:Class rdf:ID="Country"><rdfs:subClassOf rdf:resource="#Area"/></rdfs:Class> <rdf:Property rdf:ID="hasPart"> <rdfs:range rdf:resource="#Area"/> <rdfs:domain rdf:resource="#Area"/> </rdf:Property> <rdf:Property rdf:ID="hasPopulation"> <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/> <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" >The number of people living in a given Area.</rdfs:comment> <rdfs:domain rdf:resource="#Area"/> </rdf:Property>

</rdf:RDF> Systmes Intelligents M2- BD-IA 8 <!-- Created with Protege (with OWL Plugin 2.1, Build 284) http://protege.stanford.edu -->

Protg-OWL Tutorial Limitations

RDF ne permet dexprimer certaines contraintes comme :

Chaque country doit avoir au moins une city Chaque country ne peut pas avoir une proprit hasPart dans country . Il y a au plus une valeur pour la proprit hasPopulation Etc
Systmes Intelligents M2- BD-IA 9

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Classes/Sous-classes

Cration dune hirarchie de classes qui dcrivent les ingrdients dune pizza PizzaTopping

CheeseTopping

MozarellaTopping

Systmes Intelligents M2- BD-IA

10

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Classes/Sous-classes

Cration dune hirarchie de classes pour des pizzas spcifiques

NamedPizza

MargueritaPizza AmericanaPizza SpicyBeefPizza

Systmes Intelligents M2- BD-IA

11

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Hritage multiple

Cration dune classe nomme : MeatyVegetable

Comme sous-classe de VegetableTopping Et de MeatTopping en ajoutant une 2me classe parent

Systmes Intelligents M2- BD-IA 12

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Hritage multiple

Que reprsente la classe MeatyVegetable ? Cela a-t-il un sens ?

Systmes Intelligents M2- BD-IA

13

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Vrification de lontologie

Intuitivement, il ne devrait pas exister dinstances qui soient la fois du type MeatTopping et VegetableTopping.
Ces instances nauraient pas de sens dun point de vue modlisation mais peuvent-elles exister dun point de vue logique. Idalement, il est important de vrifier automatiquement que le sens logique correspond bien au sens prvu .

Utilisation possible doutils de raisonnements

Systmes Intelligents M2- BD-IA

14

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Vrification de lontologie

Pour les ontologies crites en OWL-DL, il est possible dutiliser des outils de raisonnement de la logique de description pour :

Classifier les informations (subsumption) Vrifier lquivalence de concepts/classes Vrifier la cohrence de spcifications Vrifier les instances
Systmes Intelligents M2- BD-IA 15

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Vrification de lontologie

Vrification de la cohrence des classes

Protg-OWL peut tre utilis avec tout raisonneur qui respecte linterface DIG qui a t dfinie pour dfinir une norme

Description Logic Interface

La communication est ralise via HTTP Lorsque un raisonneur est en cours dexcution, il est possible de demander la vrification de la consistance des classes.

Systmes Intelligents M2- BD-IA

16

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Vrification de lontologie

Axiomes de disjonction

La vrification de la cohrence des classes de lontologie dcrite indique que la classe MeatyVegetable est consistante.

Il est possible de dfinir des instances pour cette classe

Par dfaut les classes OWL peuvent se superposer moins que la disjonction entre les classes soit explicitement dcrite, ou bien que lon peut infrer leur disjonction

Ici, la classe MeatTopping peut tre dcrite comme disjointe de VegetableTopping

Systmes Intelligents M2- BD-IA

17

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Vrification de lontologie

Lajout de la disjonction entre les classes VegetableTopping et MeatTopping entrane linconsistance des spcifications.

Systmes Intelligents M2- BD-IA

18

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Proprits

OWL a deux types de proprits :

Les proprits qui relient des instances (Object Property)

Les proprits qui relient une instance avec une valeur (Datatype property)
Il y a un troisime type de proprits : les annotations qui permettent dassocier/dcrire des mta-donnes aux classes, proprits et instances.
Systmes Intelligents M2- BD-IA 19

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Proprits

OWL permet la spcification de hirarchies de proprits

Lhritage multiple est autoris. Les proprits doivent avec des surproprits de leur type.

Les proprits objets doivent avoir des surproprits de type objet De mme pour les proprits de type datatype
Systmes Intelligents M2- BD-IA

20

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Proprits

On peut crer une proprit hasIngredient

Avec une sous-proprit hasTopping Et une sous-proprit hasBase

Systmes Intelligents M2- BD-IA

21

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Proprits

Une proprit peut tre dfinie comme fonctionnelle, inverse fonctionnelle, symtrique ou transitive Mais attention

Certaines combinaisons de ces proprits relvent de OWL-Full

Des contraintes existent pour OWL-DL

Systmes Intelligents M2- BD-IA

22

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Proprits

Une pizza ne comporte quune seule base

La proprit hasBase est dfinie comme fonctionnelle La proprit hasIngredient peut tre dfinie comme transitive.

Les lments qui composent les lments dune pizza sont aussi des lments dune pizza.
Systmes Intelligents M2- BD-IA

23

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Restrictions

Restriction existentielle

Elle permet de dcrire lensemble des individus qui ont au moins un lien pour une proprit donne vers un individu dune classe donne

On peut spcifier quune pizza a au moins une base de type PizzaBase. En protg OWL, on peut dfinir ces conditions

Systmes Intelligents M2- BD-IA

24

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Restrictions

On peut dfinir dautres restrictions comme :

Une MargheritaPizza a au moins un MozarellaTopping et au moins un TomatoTopping Une AmericanaPizza a au moins un MozarellaTopping et au moins un TomatoTopping et au moins un PepperoniTopping Une SpicyBeefPizza comporte au moins de la mozarella, du tomato et du peperoni
Systmes Intelligents M2- BD-IA 25

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Restrictions

Systmes Intelligents M2- BD-IA

26

Protg-OWL Tutorial Cration dune ontologie OWL-DL Les pizzas - Conditions ncessaires

Les conditions dcrites sont des conditions ncessaires

i.e. que pour une classe donne, les conditions ncessaires doivent tre vrifies par les membre de cette classe

Un individu de la classe MargheritaPizza doit remplir les 3 conditions

Systmes Intelligents M2- BD-IA

27

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Conditions ncessaires et suffisantes

Avec une condition ncessaire,

si lon sait quun individu est un membre dune classe, on sait quil doit remplir les conditions ncessaires de cette classe.

Mais tant donn un individu qui remplit des conditions, peut-on dire quelle classe il appartient ?

i.e. dfinir des conditions ncessaires et suffisantes qui permettent dinfrer le type dun individu partir de ses proprits.
Systmes Intelligents M2- BD-IA 28

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Conditions ncessaires et suffisantes

On cre une classe CheesyPizza

Comme sous-classe de la classe Pizza Avec au moins un CheeseTopping

En conditions ncessaires et suffisantes

Systmes Intelligents M2- BD-IA

29

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Conditions ncessaires et suffisantes

Classification de lontologie

Systmes Intelligents M2- BD-IA

30

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Terminologie

Les classes qui ne comportent que des conditions suffisantes

sont dites primitives ont une description

Et les classes qui ont au moins une condition ncessaire et suffisante

sont dites dfinies et ont une dfinition

Une distinction peut tre faite entre les informations nonces et infres .
Systmes Intelligents M2- BD-IA 31

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Hirarchie

La hirarchie des classes nonces (asserted) est une arborescence. Mais la hirarchie des classes infres peut tre un treillis (graphe), les classes peuvent avoir plusieurs classes parentes.
Systmes Intelligents M2- BD-IA 32

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Union

On veut dfinir une VegetarianPizza comme une pizza qui a uniquement des ingrdients vgtariens. On peut dfinir VegetarianTopping comme un CheeseTopping ou un VegetableTopping . On peut utiliser lunion de classes.

Systmes Intelligents M2- BD-IA

33

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Restriction universelle

On dfinit la classe VegetarianPizza comme une pizza dont tous les ingrdients sont vgtariens

En utilisant une restriction universelle Et comme une classe dfinie

Systmes Intelligents M2- BD-IA

34

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Restriction universelle

Systmes Intelligents M2- BD-IA

35

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Vrification de lontologie

On peut utiliser un raisonneur

Pour classifier les classes/concepts

Quelles sont les sous-classes de VegetarianPizza? La dfinition de la classe VegetarianPizza estelle correcte ?

Et vrifier que la consistance

aucune classe nest classifie comme sous-classe de la classe VegetarianPizza

Systmes Intelligents M2- BD-IA 36

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Hypothse du monde ouvert

Une MargheritaPizza a t dcrite par :

Systmes Intelligents M2- BD-IA

37

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Hypothse du monde ouvert (HMO)

Lhypothse du monde ouvert sappuie sur le fait

quon ne peut pas dire que quelque chose nest pas vrai simplement parce quil na pas t nonc

Ici, on na pas dcrit quune MargheritaPizza a un ingrdient peperoni, mais sous lHMO il est possible quelle en est un.

Systmes Intelligents M2- BD-IA

38

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Clture

Pour prciser les descriptions des pizzas, il est ncessaire de complter pour dire que :

Les pizzas ont des ingrdients et seulement ceux-l. Par exemple, la MargheritaPizza a de la mozarella et du tomato et seulement ces ingrdients.

i.e faire une clture de la classe

Systmes Intelligents M2- BD-IA 39

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Axiomes de clture

On peut utiliser la restriction universelle.

Systmes Intelligents M2- BD-IA

40

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Axiomes de clture

On peut donc complter lontologie pour faire la fermeture de la description des pizzas pour la proprit hasTopping. La forme gnrale consiste crer une restriction universelle sur lunion des classes des restrictions existentielles. On peut alors re-classifier lontologie.
Systmes Intelligents M2- BD-IA

41

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Classification

Hirarchies nonce et infres.

Systmes Intelligents M2- BD-IA

42

Protg-OWL Tutorial Cration dune ontologie OWL-DL

Les pizzas - Conclusion

Les classes sont les briques dune ontologie

Il existe des classes nommes et des classes anonymes OWL distingue les conditions ncessaires et les conditions ncessaires et suffisantes OWL-DL sappuie sur la logique de description, des raisonneurs peuvent tre utiliss OWL applique lhypothse du monde ouvert.
Systmes Intelligents M2- BD-IA 43