Nous présentons suintement dans ette setion les règles de mise à plat de la struture
objet initiale du formalisme d'ontologie plib, dénies au laboratoire [60℄. Nous avons repris e
travailpourréaliserlemodèled'aèset,latransformationdesinstanesdeplibàFlatlib omme
nousleverrons auxsetions 2.3 et 2.6 .
Latransformationde lastruture initialedeplib versunestruture plate,aétéeetuéede
façon à onserver leplus possible lasémantique duformalisme d'ontologie plib :ohérene des
entitésregroupéesetdesontraintes.Pour ela,(1)desrèglessystématiquesontétédéveloppées
et,(2)destehniquesd'idmontétéutiliséespourtransformerlastrutureinitialeduformalisme
d'ontologie pliben unestrutureplate appelé Flatlib,dépourvude relationsd'héritage, maisde
pouvoir d'expression aumoinségal àlastruture initiale.
Les transformations qui ont été faite sur la struture initiale de plib visaient à éliminer
totalement les relations d'héritage et à réduire, autant que possible, les relations d'agrégation
entreles entitésdumodèle. La dénitionde règlesformellesde transformation adon porté sur
les points suivants.
Quellesimpliationpeut-oneetuersurleshiérarhiesd'héritaged'unshémaobjettout
en onservant lapossibilitéde polymorphisme pour les instanesdu shéma?
Comment simplierles relations d'agrégation/ompositionentre lesdiérentes lasses du
formalisme touten onservant sasémantique?
Nousprésentonsi-dessusquelquesrègles desimpliation de plib.
2.2.1 Simpliation des hiérarhies
La relation d'héritage est un des méanismes essentiels de l'approhe objet. Elle permet la
généralisationetlaspéialisation deslasses,ainsiquelepolymorphismedesinstanes.Dansune
hiérarhiedelasses,onpeutdistinguerdeslassesabstraitesetdeslassesonrètes.Leslasses
abstraites ne sont jamais instaniées ar elles ne représentent qu'une abstration de plusieurs
lasses onrètes. Elles servent, par ontre, à fatoriser des propriétés ou des omportements.
Ellesserventégalementpourréférenerdefaçongénériquedesinstanesappartenantàn'importe
quelle sous lasse. Nous présentons ii la règle de suppression des lasses abstraites et, la règle
de miseà platdeshiérarhies.
2.2.1.1 Suppression de l'abstrait
La gure4.5 illustre larègle permettant de supprimer les lasses abstraites. L'énoné est le
suivant:
Unelasse abstraite sera supprimée : (1)sielle n'est o-domaine d'auun attribut pouvant avoir
pourdomaine(même parpolymorphisme)une lasseonrète, et/ou(2)sitoutesleslasses
abs-traitesqui la référenent peuvent être supprimées. Dans e as,tous ses attributssontdesendus
au niveau de ses sous lasses diretes. Si un attribut est redéni omme dérivé dans l'une des
sous lasses, il ne sera pas représenté dans ette sous lasse.
(abs) A
a1
a2
A1
A2 a a1 a (rt)(der)a a2
Fig. 4.5 Suppressionde l'abstrait dansune hiérarhie
2.2.1.2 Mise à plat d'une hiérarhie
Lagure4.6 illustrelarègle permettant de mettreà platune hiérarhiedont l'énonéest le
suivant :
Si auune règle de simpliation ne peut être appliquée à une hiérarhie, alors toutes les sous
lasses sont remontées et fondues dans la raine. Si un attribut est redéni dans l'une des sous
lasses, etteredénition nesera pasreprésentée dans la raine.
A
A2 A1
Fig. 4.6Mise àplat sansondition
Enappliquant larègle demise àplat sans onditionà lahiérarhie deraine A (gure 4.6 ),
tousles attributs dessoustypesde A sont remontés àsonniveau.
Notonsquedanslaraine,l'ajout d'unattributdisriminant (type)permetde déterminerle
typeréeldesinstanes.Cetattributvaainsiprendrelenomdel'entitéinitialedansleformalisme
d'ontologie plib (iiA1 etA2).
2.2.2 Simpliation des aggrégats
La gure 4.7 illustre la règle d'absorption multiple permettant de supprimer une relation
d'aggrégation. L'énoné deette règle est ommesuit:
(1)Sitouteslesréférenesàunelassesontdeardinalités([1:1℄,inv[0:1℄)ou([0:1℄,inv[0:1℄) 26
,
et (2) si toute instane de ette lasse est eetivement liée a une seule instane référençante
(ontrainte ou exlusifou used_one), et (3) si ette entité n'a pas de sous-type, alors,
ette entité sera absorbée par haunedes entités la référençant.
Lessimpliationsapportéesàlastrutureinitialeduformalismed'ontologieplibontpermis
d'obtenirdansFlatlib,43entitéset80typesdénisàlaplaedes217 entitéset118 typesdénis
danslemodèle initial plib.
2.2.3 Shéma des orrespondanesentre plibet Flatlib
La transformation de plib à Flatlib a été réalisée en utilisant des tehniques d'idm. La
orrespondaneentreesdeuxstruturesaelle-même étéreprésentée dansun shémade
orres-pondane. Ce shéma de orrespondane est lui-même représenté omme un shéma express.
26
[1:1℄ etinv [0:1℄représententrespetivementlaardinalitéminimaleetmaximaledireteetinverse(inv )
B A
Fig. 4.7 Absorptionmultiple
Il estdon également géré parlemême méta-shéma, quiest leméta-shéma d'express en
ex-press. Le shéma de orrespondane(gure 4.8) ontient à lafoisles entités dushéma soure
(soure_entity) etlesentités dushémarésultant del'appliation desrègles(omputed_entity).
Leshémanalestonstituédesentitésaluléesainsiquedesentitésdushémainitialquin'ont
pasdisparues lors del'appliation d'unerègle.
Fig. 4.8Shéma deorrespondanedestransformationsde plib àFlatlib
Lesattributs ne sont pasreprésentés puisqueleurs évolutionssont parfaitement dénies par
haque triplet <lasse_absorbante, lasse_absorbée, nom_de_règle>. L'entité entities,
super-type de l'entité soure_entity et de omputed_entity, est une entité qui représente toutes les
entités du modèle etleur état a un moment donné. L'attribut name est sonnom, et l'attribut
is_alive spéiesil'entitéexisteenoredansleshémaàunmomentdonné.Toutetransformation
élémentaire omporte : une entité absorbante , dans laquelle une ou plusieurs autres entités
sontfusionnées,donnantlieuàunenouvelleentité.Lanouvelle entitéestreprésentéeparl'entité
omputed_entity. L'entité absorbante est représentée soit par une entité soure_entity lors de
la première transformation de ette soure_entity, soit par l'entité omputed_entity elle-même
dansles transformationssuivantes. L'entité fusionnéeestreprésentée par lesautres attributs de
omputed_entity :
olleted_above dans leasd'unesuppressiond'abstrait;
olleted_below dansle asd'uneonrétisation d'abstrait, oud'une miseàplat;
absorbed dansleasd'une absorption.
Ceshémapermetdondereprésenter,sousformed'instanesdesesentités, lestransformations
apportéesaushémasoureaufuretàmesuredel'appliationdesrègles.L'historiquedumapping
estonservéàtravers esinstanes.Nousutilisonsen partiuliere shémadeorrespondaneà
lasetion 2.6.1 ,pour l'importationdesontologies plib danslapartie ontologie d'ontodb2.