4
Exercice ontologie T. Libourel 1. Premi` ere mod´ elisation Une image satellitaire est un agr´ egat de pixels chaque pixel a un certain nombre de caract´ eristiques qui peuvent ˆ etre valu´ ees par des traitements. Les pixels de mˆ eme caract´ eristique peuvent ˆ etre regroup´ es en segments par une op´ eration dite de segmentation, chaque segment pr´ esentant aussi un certain nombre de caract´ eristiques. A partir de ces informations r´ ealiser un mod` ele UML (diagramme de classes) : pour chaque classe penser aux propri´ et´ es et aux diverses relations. 2. Cr´ eation de l’ontologie A partir du logiciel Prot´ eg´ e, cr´ eation d’une nouvelle ontologie (File New) 1. Cr´ eation des concepts (ou classes) Onglet Classes En accord avec le mod` ele UML, cr´ eer les classes sous classes de Thing. Pour chacune d’entre elles, cr´ eer des annotations (label, commentaire). Vous pouvez constater que la hi´ erarchie cr´ ee peut se pr´ esenter sous diff´ erentes vues (menu View render by name, by label, by annotation ). Dans la partie Description, remarquer que l’on peut – donner une d´ efinition formelle de la classe (Equivalent to )` a partir de Class Expression Editor – v´ erifier sa position dans la hi´ erarchie (Subclass of ) – voir si des individus lui ont ´ et´ e associ´ es (Members ) – ajouter la contrainte de disjonction (entre les extensions des classes (Disjoint With ) 2. Cr´ eation des caract´ eristiques (Data properties) Onglet Data properties Cr´ eer les caract´ eristiques sp´ ecialisation de TopDataProperty. Dans le cas g´ en´ eral, caract´ eristique Fonctionnelle, et d´ efinition du Domain et du Range. Vous pouvez aussi donner une description formelle de la caract´ eristique, Equivalent to. 3. Cr´ eation des relations (Object properties) Onglet Object properties Cr´ eer les relations sp´ ecialisation de TopObjectProperty, d´ efinition de leur propri´ et´ e ( fonctionnelle, sym´ etrique, etc.) et du Domain et du Range. Vous pouvez aussi donner une description formelle de la relation, Equivalent to 4. Visualisation de la hi´ erarchie cr´ ee (onglet Ontograf ) 5. Cr´ eation d’individus Onglet Individuals Les individus peuvent ˆ etre cr´ es, puis on peut ou non compl´ eter leur d´ efinition, en pr´ ecisant leur Types, ou en donnant diverses formalisations. N’oubliez pas de sauvegarder votre travail (fichier au format voulu) Image Struct 3. Raisonner avec l’ontologie Le logiciel Prot´ eg´ e permet de r´ ealiser des inf´ erences ` a partir de raisonneur par exemple Pellet. Cela permet de v´ erifier la coh´ erence de l’ontologie construite, ou de demander au raisonneur de classifier un individu non typ´ e. 1

Thérèse Libourel, atelier Ontologies avec Protégé

Embed Size (px)

Citation preview

Exercice ontologie

T. Libourel

1. Premiere modelisation

Une image satellitaire est un agregat de pixels chaque pixel a un certain nombre de caracteristiques qui peuvent etrevaluees par des traitements. Les pixels de meme caracteristique peuvent etre regroupes en segments par une operation ditede segmentation, chaque segment presentant aussi un certain nombre de caracteristiques.

A partir de ces informations realiser un modele UML (diagramme de classes) : pour chaque classe penser aux proprieteset aux diverses relations.

2. Creation de l’ontologie

A partir du logiciel Protege, creation d’une nouvelle ontologie (File New)

1. Creation des concepts (ou classes) Onglet ClassesEn accord avec le modele UML, creer les classes � sous classes �de Thing.Pour chacune d’entre elles, creer des annotations (label, commentaire).Vous pouvez constater que la hierarchie creee peut se presenter sous differentes vues (menu View render by name, bylabel, by annotation).Dans la partie Description, remarquer que l’on peut– donner une definition formelle de la classe (Equivalent to) a partir de Class Expression Editor– verifier sa position dans la hierarchie (Subclass of )– voir si des individus lui ont ete associes (Members)– ajouter la contrainte de disjonction (entre les extensions des classes (Disjoint With)

2. Creation des caracteristiques (Data properties) Onglet Data propertiesCreer les caracteristiques specialisation de TopDataProperty.Dans le cas general, caracteristique Fonctionnelle, et definition du Domain et du Range.Vous pouvez aussi donner une description formelle de la caracteristique, Equivalent to.

3. Creation des relations (Object properties) Onglet Object propertiesCreer les relations specialisation de TopObjectProperty, definition de leur propriete ( fonctionnelle, symetrique, etc.) etdu Domain et du Range.Vous pouvez aussi donner une description formelle de la relation, Equivalent to

4. Visualisation de la hierarchie creee (onglet Ontograf )

5. Creation d’individus Onglet IndividualsLes individus peuvent etre crees, puis on peut ou non completer leur definition, en precisant leur Types, ou en donnantdiverses formalisations.

N’oubliez pas de sauvegarder votre travail (fichier au format voulu) Image Struct

3. Raisonner avec l’ontologie

Le logiciel Protege permet de realiser des inferences a partir de raisonneur par exemple Pellet.Cela permet de verifier la coherence de l’ontologie construite, ou de demander au raisonneur de classifier un individu non

type.

1

Journees Ontologies SHS 2

4. Autre aspect

Il est souvent prudent de construire les ontologies de maniere modulaire. Ceci permet par la suite de construire uneontologie plus globale en important les differentes ontologies preconstruites.

A noter que pour des ontologies de domaine, il est courant de se referer a des ontologies plus abstraites dites de hautniveau.

Par exemple, nous nous sommes attaches a decrire les images selon un point de vue structurel mais ils peuvent aussi etredecrites en integrant une description relative aux traitements.

Pour cela creer et sauvegarder une ontologie minimale temporelle (Image ttment) avec les concepts Classification, Seg-mentation, Indice spectral et Texture.

Creer les individus NDVI, NDBI, NDWI de type Indice spectral.Pour fusionner les deux points de vue, aller a l’onglet Active Ontology (vous devez etre positionnes sur Image Struct) puis

dans Imported Ontologies choisir Direct imports et choisir d’importer le fichier Image ttment. Aller dans l’onglet Classes lesnouvelles classes apparaissent (en caracteres normaux).

Exercice ontologie

T. Libourel

1. Premiere modelisation

ligne de crête

Exutoire

Figure 1 – Schema d’un bassin versant

Un bassin versant ou bassin-versant est une aire delimitee par des lignes de partage des eaux, a l’interieur de laquelletoutes les eaux tombees alimentent un meme exutoire : cours d’eau, lac, mer, ocean, etc. Une ligne de partage des eaux seconfond tres souvent avec une ligne de crete.

Chaque bassin versant se subdivise en un certain nombre de bassins elementaires (parfois appeles ” sous-bassin versant”) correspondant a la surface d’alimentation des affluents se jetant dans le cours d’eau principal. (Wikipedia)

A partir de ces informations realiser un modele UML (diagramme de classes) : pour chaque classe penser aux proprietescaracteristiques et aux diverses relations.

2. Creation de l’ontologie

A partir du logiciel Protege, creation d’une nouvelle ontologie (File New)

1. Creation des concepts (ou classes) Onglet ClassesEn accord avec le modele UML, creer les classes ”sous classes” de Thing.Pour chacune d’entre elles, creer des annotations (label, commentaire).Vous pouvez constater que la hierarchie creee peut se presenter sous differentes vues (menu View render by name, bylabel, by annotation).Dans la partie Description, remarquer que l’on peut– donner une definition formelle de la classe (Equivalent to) a partir de Class Expression Editor– verifier sa position dans la hierarchie (Subclass of )– voir si des individus lui ont ete associes (Members)– ajouter la contrainte de disjonction (entre les extensions des classes (Disjoint With)

1

Journees Ontologies SHS 2

2. Creation des caracteristiques (Data properties) Onglet Data propertiesCreer les caracteristiques specialisation de TopDataProperty.Dans le cas general, caracteristique Fonctionnelle, et definition du Domain et du Range.Vous pouvez aussi donner une description formelle de la caracteristique, Equivalent to.

3. Creation des relations (Object properties) Onglet Object propertiesCreer les relations specialisation de TopObjectProperty, definition de leur propriete ( fonctionnelle, symetrique, etc.) etdu Domain et du Range.Vous pouvez aussi donner une description formelle de la relation, Equivalent to

4. Visualisation de la hierarchie creee (onglet Ontograf )

5. Creation d’individus Onglet IndividualsLes individus peuvent etre crees, puis on peut ou non completer leur definition, en precisant leur Types, ou en donnantdiverses formalisations.

N’oubliez pas de sauvegarder votre travail (fichier au format voulu) BV Struct

3. Raisonner avec l’ontologie

Le logiciel Protege permet de realiser des inferences a partir de raisonneur par exemple Pellet.Cela permet de verifier la coherence de l’ontologie construite, ou de demander au raisonneur de classifier un individu non

type.

4. Autre aspect

Il est souvent prudent de construire les ontologies de maniere modulaire. Ceci permet par la suite de construire uneontologie plus globale en important les differentes ontologies preconstruites.

A noter que pour des ontologies de domaine, il est courant de se referer a des ontologies plus abstraites dites de hautniveau.

Par exemple, nous nous sommes attaches a decrire les bassins versants selon un point de vue thematique et structurelmais ils peuvent aussi etre decrits en integrant une description temporelle.

Pour cela creer et sauvegarder une ontologie minimale temporelle (BV temp) avec les concepts Entite Temporelle et lessous concepts Instant et Intervalle.

Pour fusionner les deux points de vue, aller a l’onglet Active Ontology (vous devez etre positionnes sur BV Struct) puisdans Imported Ontologies choisir Direct imports et choisir d’importer le fichier BV temp.owl. Aller dans l’onglet Classes lesnouvelles classes apparaissent (en caracteres normaux).