• Aucun résultat trouvé

Base de connaissances RDF. Outils pour bases de données syntaxiques structurées

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Base de connaissances RDF. Outils pour bases de données syntaxiques structurées"

Copied!
47
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Base de connaissances RDF

Outils pour

bases de données syntaxiques structurées

Nicolas Mazziotta

Université de Liège/U. Stuttgart, ILR

(2)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Plan

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

(3)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Objectifs

Problématisation théorique Objets formels

Structures de SRCMF et principe de réification TigerXML/TigerSearch

TigerXML

Langage de requête

Exemple : rechercher les ki relatifs sujets RDF et SPARQL

RDF SPARQL

Exemple : rechercher les ki relatifs sujets Démonstration

(4)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Objectifs

Partager connaissances techniques

I Langages d’encodage, outils de traitement

I En cours (« bricolage » parfois)

Type de données

I Données syntaxiques structurées (structuration complexe)

I Données croisées SRCMF × BFM

Importance de la théorisation

I Comprendre la structure des données

(5)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Objectifs

Partager connaissances techniques

I Langages d’encodage, outils de traitement

I En cours (« bricolage » parfois)

Type de données

I Données syntaxiques structurées (structuration complexe)

I Données croisées SRCMF × BFM

Importance de la théorisation

I Comprendre la structure des données

(6)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Objectifs

Partager connaissances techniques

I Langages d’encodage, outils de traitement

I En cours (« bricolage » parfois)

Type de données

I Données syntaxiques structurées (structuration complexe)

I Données croisées SRCMF × BFM

Importance de la théorisation

I Comprendre la structure des données

(7)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Objectifs

Problématisation théorique

Objets formels

Structures de SRCMF et principe de réification

TigerXML/TigerSearch TigerXML

Langage de requête

Exemple : rechercher les ki relatifs sujets RDF et SPARQL

RDF SPARQL

Exemple : rechercher les ki relatifs sujets Démonstration

(8)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Problématisation théorique

Enjeu théorique

I Question générale : représentation des connaissances (constructs)

I Assertions sur les relations

I Relations entre relations (réification possible)

Encoder la syntaxe

I arbre (PSG, MTTSurfaceSyntax,. . . ) :

nœuds + arêtes orientées entre les nœuds (un nœud ne peut être la cible de plusieurs arêtes)

I graphe orienté acyclique (Word Grammar,

LFG,. . . ) : nœuds + arêtes orientées entre les nœuds sans cycle

I polygraphe (Nida, Tesnière (translation))

graphe, mais avec éventuellement des arêtes entre le arêtes

(9)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Problématisation théorique

Enjeu théorique

I Question générale : représentation des connaissances (constructs)

I Assertions sur les relations

I Relations entre relations (réification possible)

Encoder la syntaxe

I arbre (PSG, MTTSurfaceSyntax,. . . ) :

nœuds + arêtes orientées entre les nœuds (un nœud ne peut être la cible de plusieurs arêtes)

I graphe orienté acyclique (Word Grammar,

LFG,. . . ) : nœuds + arêtes orientées entre les nœuds sans cycle

I polygraphe (Nida, Tesnière (translation))

graphe, mais avec éventuellement des arêtes entre le arêtes

(10)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Problématisation théorique

Enjeu théorique

I Question générale : représentation des connaissances (constructs)

I Assertions sur les relations

I Relations entre relations (réification possible)

Encoder la syntaxe

I arbre (PSG, MTTSurfaceSyntax,. . . ) :

nœuds + arêtes orientées entre les nœuds (un nœud ne peut être la cible de plusieurs arêtes)

I graphe orienté acyclique (Word Grammar,

LFG,. . . ) : nœuds + arêtes orientées entre les nœuds sans cycle

I polygraphe (Nida, Tesnière (translation))

graphe, mais avec éventuellement des arêtes entre le arêtes

(11)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Problématisation théorique

Enjeu théorique

I Question générale : représentation des connaissances (constructs)

I Assertions sur les relations

I Relations entre relations (réification possible)

Encoder la syntaxe

I arbre(PSG, MTTSurfaceSyntax,. . . ) : nœuds + arêtes orientées entre les nœuds (un nœud ne peut être la cible de plusieurs arêtes)

I graphe orienté acyclique (Word Grammar,

LFG,. . . ) : nœuds + arêtes orientées entre les nœuds sans cycle

I polygraphe (Nida, Tesnière (translation))

graphe, mais avec éventuellement des arêtes entre le arêtes

(12)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Problématisation théorique

Enjeu théorique

I Question générale : représentation des connaissances (constructs)

I Assertions sur les relations

I Relations entre relations (réification possible)

Encoder la syntaxe

I arbre (PSG, MTTSurfaceSyntax,. . . ) :

nœuds + arêtes orientées entre les nœuds (un nœud ne peut être la cible de plusieurs arêtes)

I grapheorienté acyclique (Word Grammar, LFG,. . . ) : nœuds + arêtes orientées entre les nœuds sans cycle

I polygraphe (Nida, Tesnière (translation))

graphe, mais avec éventuellement des arêtes entre le arêtes

(13)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Problématisation théorique

Enjeu théorique

I Question générale : représentation des connaissances (constructs)

I Assertions sur les relations

I Relations entre relations (réification possible)

Encoder la syntaxe

I arbre (PSG, MTTSurfaceSyntax,. . . ) :

nœuds + arêtes orientées entre les nœuds (un nœud ne peut être la cible de plusieurs arêtes)

I graphe orienté acyclique (Word Grammar,

LFG,. . . ) : nœuds + arêtes orientées entre les nœuds sans cycle

I polygraphe(Nida, Tesnière (translation)) graphe, mais avec éventuellement des arêtes entre le arêtes

(14)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Problématisation théorique

Enjeu théorique

I Question générale : représentation des connaissances (constructs)

I Assertions sur les relations

I Relations entre relations (réification possible)

Encoder la syntaxe

I arbre (PSG, MTTSurfaceSyntax,. . . ) :

nœuds + arêtes orientées entre les nœuds (un nœud ne peut être la cible de plusieurs arêtes)

I graphe orienté acyclique (Word Grammar,

LFG,. . . ) : nœuds + arêtes orientées entre les nœuds sans cycle

I polygraphe(Nida, Tesnière (translation)) graphe, mais avec éventuellement des arêtes entre le arêtes

(15)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Structures de SRCMF et principe de réification

Relateurs

I Dans le modèle théorique SRCMF,prépositions

et conjonctions dépendentdes structures et leur permettent d’assumer une fonction (Kahane/Mazziotta 2015 (Depling))

I Un terme dépend d’une relation ⇒ polygraphe

I MAIS aucun outil ne gère les polygraphes ⇒

(16)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Structures de SRCMF et principe de réification

Relateurs

I Dans le modèle théorique SRCMF,prépositions

et conjonctions dépendentdes structures et leur permettent d’assumer une fonction (Kahane/Mazziotta 2015 (Depling))

I Un terme dépend d’une relation ⇒ polygraphe

I MAIS aucun outil ne gère les polygraphes ⇒

(17)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Structures de SRCMF et principe de réification

Relateurs

I Dans le modèle théorique SRCMF,prépositions

et conjonctions dépendentdes structures et leur permettent d’assumer une fonction (Kahane/Mazziotta 2015 (Depling))

I Un terme dépend d’une relation ⇒ polygraphe

I MAIS aucun outil ne gère les polygraphes ⇒

(18)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Structures de SRCMF et principe de réification

Relateurs

I Dans le modèle théorique SRCMF,prépositions

et conjonctions dépendentdes structures et leur permettent d’assumer une fonction (Kahane/Mazziotta 2015 (Depling))

I Un terme dépend d’une relation ⇒ polygraphe

I MAIS aucun outil ne gère les polygraphes ⇒

(19)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Structures de SRCMF et principe de réification

Relateurs

I Dans le modèle théorique SRCMF,prépositions

et conjonctions dépendentdes structures et leur permettent d’assumer une fonction (Kahane/Mazziotta 2015 (Depling))

I Un terme dépend d’une relation ⇒ polygraphe

I MAIS aucun outil ne gère les polygraphes ⇒

(20)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Objectifs

Problématisation théorique Objets formels

Structures de SRCMF et principe de réification

TigerXML/TigerSearch

TigerXML

Langage de requête

Exemple : rechercher les ki relatifs sujets

RDF et SPARQL RDF

SPARQL

Exemple : rechercher les ki relatifs sujets Démonstration

(21)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

TigerXML

TigerXML encode principalement des arbres

I Distinction entre les nœuds terminaux/non terminaux.

I Nœud et arêtes sont complètement distincts

I Les nœuds ont des propriétés distinctes des arêtes auxquelles ils sont

(22)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Langage de requête

Langage de requête

I Nœuds : mots, fonctions

[]

I Propriétés : caractéristiques des nœuds

[x=’y’]

I Arêtes (primaires/secondaires) : entre les nœuds

>xet >∼x

I Variables : enregistrent les nœuds (traits et

contexte) #x: []

(23)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Langage de requête

Langage de requête

I Nœuds : mots, fonctions

[]

I Propriétés : caractéristiques des nœuds

[x=’y’]

I Arêtes (primaires/secondaires) : entre les nœuds

>xet >∼x

I Variables : enregistrent les nœuds (traits et

contexte) #x: []

(24)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Langage de requête

Langage de requête

I Nœuds : mots, fonctions

[]

I Propriétés : caractéristiques des nœuds

[x=’y’]

I Arêtes (primaires/secondaires) : entre les nœuds

>xet >∼x

I Variables : enregistrent les nœuds (traits et

contexte) #x: []

(25)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Langage de requête

Langage de requête

I Nœuds : mots, fonctions

[]

I Propriétés : caractéristiques des nœuds

[x=’y’]

I Arêtes (primaires/secondaires) : entre les nœuds

>xet >∼x

I Variables : enregistrent les nœuds (traits et

contexte) #x: []

(26)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Langage de requête

Langage de requête

I Nœuds : mots, fonctions

[]

I Propriétés : caractéristiques des nœuds

[x=’y’]

I Arêtes (primaires/secondaires) : entre les nœuds

>xet >∼x

I Variables : enregistrent les nœuds (traits et

contexte) #x: []

(27)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

(28)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Exemple : rechercher les ki relatifs sujets

Traitement différent pour les proprié-tés

(29)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Exemple : rechercher les ki relatifs sujets

Traitement différent pour les proprié-tés

(30)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

(31)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

(32)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Objectifs

Problématisation théorique Objets formels

Structures de SRCMF et principe de réification TigerXML/TigerSearch

TigerXML

Langage de requête

Exemple : rechercher les ki relatifs sujets

RDF et SPARQL

RDF SPARQL

Exemple : rechercher les ki relatifs sujets

(33)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

RDF

RDF encode des graphes

I Sous la forme de triplets (suite ordonnée de trois unités) : sujet,

prédicat, objet.

Exemples :

I (Jean) (mange) (une pomme) I xxx yyy zzz

I Nœud et arêtes sont des ressources représentées par une URI

(34)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

RDF

RDF encode des graphes

I Sous la forme de triplets (suite ordonnée de trois unités) : sujet,

prédicat, objet. Exemples :

I (Jean) (mange) (une pomme) I xxx yyy zzz

I Nœud et arêtes sont des ressources représentées par une URI

(35)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

RDF

RDF encode des graphes

I Sous la forme de triplets (suite ordonnée de trois unités) : sujet,

prédicat, objet. Exemples :

I (Jean) (mange) (une pomme) I xxx yyy zzz

I Nœud et arêtes sont des ressources représentées par une URI

(36)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

RDF

RDF encode des graphes

I Sous la forme de triplets (suite ordonnée de trois unités) : sujet,

prédicat, objet. Exemples :

I (Jean) (mange) (une pomme) I xxx yyy zzz

I Nœud et arêtes sont des ressources représentées par une URI

(37)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

SPARQL

Langage de requête SPARQL

Requête = graphe avec des « jokers » → ressort tout ce qui convient

I ressources : URI

http://xyz/wou xyz:w

I Variables enregistrent les ressources et leur contexte

?x

I Syntaxe simplifiant les « phrases » :

RelNC source ModA. RelNC cible de. =

(38)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

SPARQL

Langage de requête SPARQL

Requête = graphe avec des « jokers » → ressort tout ce qui convient

I ressources : URI

http://xyz/wou xyz:w

I Variables enregistrent les ressources et leur contexte

?x

I Syntaxe simplifiant les « phrases » :

RelNC source ModA. RelNC cible de. =

(39)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

SPARQL

Langage de requête SPARQL

Requête = graphe avec des « jokers » → ressort tout ce qui convient

I ressources : URI

http://xyz/wou xyz:w

I Variables enregistrent les ressources et leur contexte

?x

I Syntaxe simplifiant les « phrases » :

RelNC source ModA. RelNC cible de. =

(40)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

SPARQL

Langage de requête SPARQL

Requête = graphe avec des « jokers » → ressort tout ce qui convient

I ressources : URI

http://xyz/wou xyz:w

I Variables enregistrent les ressources et leur contexte

?x

I Syntaxe simplifiant les « phrases » :

RelNC source ModA. RelNC cible de. =

(41)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

(42)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

RDF et SPARQL

Traitement identique pour toutes les arêtes

(43)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

RDF et SPARQL

Traitement identique pour toutes les arêtes

(44)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

(45)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

(46)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Objectifs

Problématisation théorique Objets formels

Structures de SRCMF et principe de réification TigerXML/TigerSearch

TigerXML

Langage de requête

Exemple : rechercher les ki relatifs sujets RDF et SPARQL

RDF SPARQL

Exemple : rechercher les ki relatifs sujets

(47)

Objectifs Problématisation théorique TigerXML/TigerSearch RDF et SPARQL Démonstration

Démonstration

Références

Télécharger maintenant ( PDF - 47 Page - 427.48 KB )

Documents relatifs

Arêtes maximales des cocycles d'un graphe préordonné

maximaux ; mais ces arbres (sauf cas particuliers)partagent les propriétés qui nous intéressent avec d’autres arbres de G, et que nous appellerons arbres Localement

Recouvrement et partition en chaînes des arêtes d'un graphe cubique

— Étant donné un graphe cubique, nous montrons que la détermination de son indice de recouvrement en chaînes est un problème NP-complet et nous exhibons un algorithme linéaire

Les nœuds de dimensions supérieures

Pour démontrer le théorème 1.1 il suffit donc de construire une variété orientable, compacte, sans bord M^ 2 telle que HqM == o pour 2 ^ q ^ n et dont le groupe de Poincaré soit

Une autre orientation dans les chaînes et les nœuds et la définition du nombre de nœud

certaines chaines, celles qui "font du noeud impropre", (ce qui va 8tre ex- pliqu6 par la theorie que nous developpons ici) en agissant a la hauteur d’un

Sur les nœuds algébriques

analytiquement irréductibles en 0, le premier polynôme d’Alexander du noeud de la singularité 0 E Co n’est autre que le polynôme caractéristique.. de la monodromie

2 Loi des nœuds

Pour un certain nombre de substances, par exemple le carbure de silicium en poudre agglomérée, la caractéristique courant-tension est assez bien représentée en convention récepteur

IFT6542 – Flot dans les réseaux 1. Graphes et algorithmes 1.1 Graphes: Remarque: Un graphe peut être ou non orienté. Un graphe non-orienté sera appelé ici

a) Un graphe est un arbre ssi il existe une chaîne unique entre chaque paire de sommets distincts. c) Un graphe G sans cycle, de n sommets et n-1 arêtes est un

La loi des nœuds

Une nouvelle série de mesures d'intensité est réalisée après avoir ajouté au circuit n°1 une troisième branche dérivée comportant une résistance dans laquelle l'intensité I 3