Autres méanismes de raisonnements sur les dbo

Danslesdboowllite,lesraisonnementssontsouventreliésauxonstruteursd'équivalene

oneptuelle (les lassesdénies), auxaratéristique de propriétés, etaux instanes.

Nous ne traitons pas le niveau instane à la manière de owl lite ar nous le traitons par

le méanisme de lé (aratéristique inverse fontionnelle) : deux instanes de même lé sont

identiques, deuxinstanes de lés diérentes sont diérentes [70 ℄.En e qui onerneles lasses

dénies,nousavonsvudanslasetionpréédenteommentlesvuespermettentdetraitere

pro-blème. Nousnousintéressonsdansettesetionaux aratéristiquesdepropriétés pour lesquels

nousmontronsommentlesraisonnementsorrespondantpeuventêtreréalisésauseindelabdbo

ontodb2 en utilisant les apaités des bases de données. Nous présentons dansla setion 4.4.1

omment les aratéristiques de propriété owl lite peuvent être gérées par utilisation des

lan-gages proéduraux des bases de données traditionnelles et par l'utilisation de l'interpréteur de

requêtes ontologique. Ensuite nousmontrons danslasetion 4.4.2 omment les aratéristiques

d'ordre etdepropagationquenousavonsidentiédansleprojete-WokHubpeuvent êtregérées

enutilisant lesméanismesd'indexationdesbasesdedonnéestraditionnellesetl'interpréteur de

requêtes ontologique.

4.4.1 Traitements des aratéristiques de propriétés owl lite

Certainespropriétéspossèdentdesaratéristiques(symétrique,transitive)quiontraignent

l'extension de es propriétés : elles permettent de dériver à partir d'un sous-ensemble de liens,

l'ensemble des liens existants. Les systèmes de gestion de bases de données disposent de

lan-gagesproéduraux quipeuventêtreutilisés pour dénirsibesoin est,desfontions(ou triggers)

permettant de dériverl'extension de propriétépossédant ertainesaratéristique prédénies.

4.4.1.1 Symétrie

La aratéristique symétriquepermet dedéduire pour une instanedonnée

i 1

^{reliéeà uneautre}

instane

i 2

^{par une propriété symétrique P, que ette dernière est également reliée à}

i 1

^{par la}

propriété P. Un triggerpeutdon être utilisé pour mettre à jour l'instane

i 2

^{suite à} l'insertion ou àlamiseà jour de lapropriétéP pour l'instane

i 1

^.

4.4.1.2 Transitivité

La aratéristique transitive permet de déduire pour une instane donnée

i 1

^{reliée à une autre}

instane

i 2

^{par une propriété transitive P, que s'il existe une instane}

i 0

^{tel que}

i 0

^{soit reliée à}

i 1

^{par P, alors}

i 0

^{est également reliée à}

i 2

^{par la propriété P. De même s'il existe une instane}

i 3

^{tel que}

i 2

^{soit reliéeà}

i 3

^{par P,alors}

i 1

^{est également reliée à}

i 3

^{par lapropriété P.Le même}

raisonnement va ainsi être répété sur l'ensemble des instanes jusqu'a e qu'auune nouvelle

relation nepuissent être déduite.

Un tel omportement peut être mis en ÷uvre dans la bdbo en dénissant un trigger.

Ce-pendant, le alul de la fermeture transitive d'une relation transitive peuts'avérer oûteux ar

il néessite des appels réursifs. An d'optimiser le alul de la fermeture transitive pour une

propriététransitive,nousfaisonsensortequel'extensiondetouterelationtransitivesoittoujours

dans un état saturé dans la bdbo. Il est ainsi possible, à partir de ette hypothèse, de

alu-ler la fermeture transitive de manière non réursive lors de toute nouvelle insertion. Le trigger

orrespondant peutalors être exprimé ommesuit :

Ahaque insertion d'unerelation(

i 1

^,

i 2

^)dans

ϑ

^{(P) :}

1.

∀

⁽

i 0

^,

i 1

⁾

∈ ϑ

^(P)

Ajouterlarelation (

i 0

^,

i 2

^{) sielle-in'existe pasdéjà}

2.

∀

⁽

i 2

^,

i 3

⁾

∈ ϑ

^(P)

Ajouterlarelation (

i 1

^,

i 3

^{) sielle-in'existe pasdéjà}

Cetriggerpermetd'éviterletraitement répétitif danslealuldela fermeturetransitive.A

l'insertion d'une relation (

i 1

^,

i 2

^{) entre les individus}

i 1

^et

i 2

^{dans lavue assoiée à la propriété}

transitive P, e trigger rajoute dans ette même vue, tous les nouveaux ouples (

i 0

^,

i 2

^{) et (}

i 1

^,

i 3

^{) aluléssi esderniers} n'existaient pasdéjà.

Nousenvisageons pour toute propriété transitive, d'utiliser une booléen pour spéier pour

toutindividu,si savaleur pour lapropriété transitiveaété aluléeounon parlesystème. Cei

devrait nouspermettre,lors desmisesàjour ou dessuppressions,de re-saturerl'extension dela

propriété àpartir desliensinitiaux.

4.4.1.3 Propriété inverse : aès par l'interpréteur de requêtes ontologiques

Une autre manière de répondre à une requête portant sur des informations non anoniques

onsiste à utiliser l'interpréteur de requête pour transformer la requête et l'exprimer en terme

de données anoniques.Le langage de requêtes que nous utilisons, qui s'adresse bienau niveau

ontologique, s'appelle ontoql [36℄. Son interpréteur est en ours de modiation pour lui

per-mettre, autant quede besoin, de transformer les requêtes adressées en termes de onepts non

anoniques. Cei est, en partiulier, utilisé pour traiter les relations entre propriété inverse et

relation direte.

Lesvaleursdes propriétés inverses sont redondantes par rapport auxpropriétés diretes qui

leur orrespondent. Ellesne sont passtokées dansla bdboontodb2, En eet, toutepropriété

inversepeutêtredéduiteàpartirdelareprésentationlapropriétés'appliquantàsono-domaine

etdont elle estinverse.Pratiquement,lareprésentation d'unepropriété direteetdesoninverse

est hoisie d'après les ardinalités diretes et inverses. Une seule représentation sut toujours

pour lesdeux.

Andedéterminerlavaleurd'unepropriétéinverse,ilestnéessairedeonnaîtrelapropriété

s'appliquantàsono-domaineetdontelleestinverse.Eneet,'estettedernièrequiestutilisée

poursauvegarderlareprésentationenmémoiredanslabasededonnées.Commenousl'avonsdéjà

préisé, ette information estaessible au travers del'attributs inverseOf de l'entité Property.

Il est donnéessaire d'interroger leniveauontologique pour alulerles propriétés inverses. Ce

travail seraréalisé parl'interpréteur de requêteontologique,quivaexploiter lesinformationsde

niveauontologique(partiipations:inv_bound1,inv_bound2,dir_bound1etdir_bound2)an

de dénirlavueàréalisersuivantlesas.Siononsidèreparexemple lagure3.5quimontrele

Vue_Personne

ID nomPrénom aEcrit

pers#01 Phillipe Doc#01

pers#02 Jules Pers#03 Paul

… … …

Vu e_En treprise ID Nom estDirigéPar ent#01 M ambo pers#01 ent#02 ET sarl pers#01 ent#03 Chic & Co pers#03

… …

Fig. 3.5Exemple de traitement depropriété inverse

shémaassoiéàl'exempledelasetion2.2.2.2oùleslassesPersonne etEntreprise sontreliées

par deux propriétés estDirigéPar et dirige;ette dernière étant délarée omme l'inverse de la

propriétéestDirigéPar.Cettegureprésentedeuxvues:unevueassoiéeàlalassePersonne et

une vueassoiée àlalasseEntreprise.Dans ettedernièrevue,laolonne estDirigéePar dénit

pouruneentreprisedonnée,l'instanedelalassePersonnequiladirige.Lapropriétédirigeétant

dénie au niveau ontologique omme l'inverse de la propriété estDirigéePar ave (inv_bound1,

inv_bound2, dir_bound1 etdir_bound2) = (0, N, 1, 1), l'interpréteur de requête ontologique

sera apable de dénir, à partirde es informations, la vue i-dessusqui renvoie l'extension de

lapropriété dirige.

seletestDirigéPar as rid,idasdirige

from

ϑ

(Entreprise)

Nousverrons en détailsdans lehapitre suivant, les diérentsautres as de guresqui peuvent

seprésentersuivantlesvaleursprisesparlesattributs inv_bound1,inv_bound2,dir_bound1et

dir_bound2.

4.4.2 Traitements eetués par un méanisme d'indexation

La dernière atégorie de traitements que nous avonsidentiée porte sur les traitements

dé-dutifsquel'onpeutremplaer pardesraisonnementsnumériquesoualphanumériquesàtravers

des tehniques d'indexation. Nous nous sommes intéressés à titre d'exemple à la propagation

d'unerelation par une relation d'ordre.Le omportement induit peutêtre indexédanslabdbo

ontodb2 en le pré-alulant à l'aide de propriétés numériques ou alphanumériques.

L'interpré-teurde requêteontologique pourraainsilors desinterrogations portant sur esaratéristiques,

substituerles requêtes initialespar les requêtes portant sur lespropriétés d'index.

Pour indexer la relation d'ordre nous proposons, dans ontodb2, de généraliser l'approhe

adoptée au niveau ontologique pour la relation de subsumption. Notre solution onsiste don à

substituer la relation d'ordre par l'utilisation d'indexes dénis par les tehniques d'étiquetages

et permettre ainside raisonner sur les relations d'ordre dans labdbo en utilisant des requêtes

numériques ou alphanumériques. Le langage de requête ontologique doit don, pour toute

re-quêteportantsurunepropriétéayant laaratéristiqued'êtreunerelationd'ordre,réérireette

requête de manière à utiliser les olonnes d'étiquettes pour aluler l'extension de la relation

d'ordre. Cettetransformation estdériteen détails auhapitre 5.

Conernant laaratéristique depropagation, qui permet deomposerune propriété Pave

une autre propriété ayant la aratéristique d'être un ordre. Elle dénit un omportement tel

que,lafermeturetransitivedelarelationd'ordrepropagelapropriétéP.Lafermeturetransitive

de la propriété propagée P est don déterminée par elle de la relation d'ordre. La tehnique

d'étiquetage assoiée à la propriété d'ordre peut don également être utilisée pour pré-aluler

lafermeture transitive de larelation propagée. Cettesolution estégalement dériteen détailau

hapitre 5.

Dans le document OntoDB2 : un système flexible et efficient de base de données à base ontologique pour le web sémantique et les données techniques (Page 110-113)