Dans cette intervention nous verrons comment dans un système d\'information, un petit peu de sémantique formelle peut vous emmener très loin et nous montrerons comment les ontologies informatiques proposent une approche pour intégrer de la sémantique formelle dans les représentations d’un système d’information.
Pour cela nous expliquerons cette notion d’ontologie que l\'informatique a empruntée à la philosophie au début des années 1990. Nous montrerons ensuite qu’intégrer une ontologie à un système d\'information permet de déclarer formellement un certain nombre de connaissances utilisées pour caractériser les informations gérées par le système et de se baser sur ces caractérisations et la formalisation de leur signification pour automatiser des tâches de traitement de l\'information.
Les ontologies sont maintenant utilisées pour décrire et traiter des ressources multimédia ; asseoir l\'interopérabilité d\'applications en réseaux ; piloter des traitements automatiques de la langue naturelle ; construire des solutions multilingues et interculturelles ; permettre l\'intégration de sources hétérogènes d\'information ; décrire des protocoles d\'interactions complexes ; vérifier la cohérence de modèles ; permettre les raisonnements temporel et spatial ; faire des approximations logiques ; etc. Ces utilisations des ontologies se retrouvent dans de nombreux domaines d\'application : intégration d\'informations géographiques, gestion de ressources humaines, aide à l\'analyse en biologie, commerce électronique, enseignement assisté par ordinateur, bibliothèques numériques, échanges commerciaux entre partenaires industriels, suivi médical informatisé, etc.
Nous aborderons les caractéristiques des ontologies, leur cycle de vie et leur opérationnalisation. Nous mentionnerons aussi un courant particulièrement prometteur pour le déploiement des systèmes à base d\'ontologies : le web sémantique permettant d’utiliser le web comme un média d’échange de données entre applications.
Pour en savoir plus : http://interstices.info/jcms/c_17672/ontologies-informatiques
12. quot;voiturequot;, quot;caissequot;, quot;autoquot;,
quot;bagnolequot;, quot;tirequot;, quot;tacotquot;,
quot;automobilequot;, ...
véhicule de transport automobile
conçu et aménagé pour le transport
d'un petit nombre de personnes
- la 206 cc 3124 SH 45
- la clio 16S de Tom
- le Galaxy bleu garé
en bas à l'entrée
- ...
18. partie
de
méthane éthane méthanol éthanol
dioxyde de carbone dioxygène ozone phénol eau dihydrogène
méthyle
carbone oxygène hydrogène
19. combiner
différents types de connaissances ontologiques
Organic object
Individual Limb
Cat
Hierarchical model of the shape of the human body. D. Marr and H.K. Nishihara, Representation and recognition
of the spatial organization of three-dimensional shapes, Proc. R. Soc. London B 200, 1978, 269-294).
20. ontos logos
“Jacob Lorhard's quot;Ogdoas Scholasticaquot; (1606) contains the first occurrence of the term
‘ontologia’ ” Raul Corazzon on formalontology.it
être / êtres discours / science
22. définitions basées sur…
… le contenu
– spécification d’un vocabulaire: définitions, liens et relations, structure
du domaine et interprétation. [Uschold & Jasper, 1999]
– ensemble d’axiomes logiques conçu pour rendre compte du sens associé
à un vocabulaire. [Guarino, 1998]
… la méthode de construction
– Conceptualisation commune à tout ce qui est représenté dans une base
de connaissances. [Bernaras et al, 1996]
– Construites de façon coopérative par différentes personnes
[Gomez‐Perez et al, 2003]
… l’utilisation envisagée
– Squelette d’une base de connaissances [Swartout et al, 1997]
– Connaissance réutilisée et partagée (personnes et applications)
[Gomez‐Perez et al, 2003]
… le statut ou la portée
– Capture une connaissance consensuelle de façon générique
[Gomez‐Perez et al, 2003]
23. ntologie
O une théorie logique donnant un compte‐rendu
explicite mais partiel d’une conceptualisation i.e.
une structure sémantique intensionnelle
encodant les règles implicites contraignant la
structure d’un morceau de réalité ; le but est de
fournir des primitives avec une sémantique
associée pour représenter des connaissances
dans un contexte identifié.
[Gruber, 1993] [Guarino & Giaretta, 1995] [Bachimont, 2000]
24. Aux grands mots les grands remèdes
paleo ontos logos
ancien être discours
une
paléontologie informatique
L’
science qui étudie les êtres et organismes vivants ayant existé
au cours des temps géologiques.
étude des propriétés générales de ce qui existe.
représentation de ces propriétés dans un formalisme
supportant un traitement rationnel
36. communication, intégration, échange
• Niveau physique
– Français et Russe, n° tel : 00 7 505 903 78
– Canal de communication
• Niveau information
– quot;c'est une bolle ce violonneuxquot; Québécois
– quot;c'est un crack ce violonistequot; Français
– quot;je te fais ton lavage comme du mondequot; Québécois
– quot;je te fais ta lessive nickel chromequot; Français
– quot;il faut que j'aille remplir la chaudièrequot; Québécois
– quot;il faut que j'aille remplir le seauquot; Français
– Syntaxe, termes, notions et relations
ontologies
• Niveau protocoles
– quot;Allo ?... Allo ? ... y'a quelqu'un ?quot;
– Protocoles d'interactions
43. deux poids & deux mesures
[Gomez‐Perez et al., 2002]
–Légères (lightweight)
types, hiérarchies, propriétés
–Lourdes (heavyweight)
idem + axiomes, contraintes, etc.
44. continuum de la formalité [Uschold et Gruninger, 1996]
• informelle
exprimée en langue naturelle.
• semi‐informelle : exprimée dans une forme
restreinte et structurée de la langue naturelle ;
• semi‐formelle : exprimée dans un langage
artificiel défini formellement;
• formelle : exprimée dans un langage artificiel
disposant d’une sémantique formelle, permettant
de prouver des propriétés de cette ontologie.
46. • Identification lors d'un entretien: quot;Il faut que
je diffuse ce document à mes collèguesquot;
• Demander une définition: quot;Je suis ton
collègue si on travaille dans la même équipequot;
• Dictionnaire: quot;Personne qui remplit la même
fonction ou qui fait partie d'un même
établissement qu'une autrequot;
• Vérifier par le recueil: groupe, entreprise,…
47. • Définition consensuelle: 'Collègue de Travail'
quot;Personne qui fait partie d'un même
établissement qu'une autrequot;
• Semi‐formelle: quot;Une personne A et une
personne B sont collègues de travail si et
seulement si A fait partie d'un établissement E
et B fait partie du même établissement Equot;
• Formelle: (CollegueTrv,A,B) ⇔
(∃ Etablissement E)∧
(Personne A) ∧ (Personne B) ∧
(FaitPartie, A ,E) ∧
(FaitPartie, B, E) ;
50. • ontologies du domaine (réutilisables)
• ontologies applicatives
(spécifiques & non réutilisables)
• ontologies génériques ou ontologies de haut niveau
• ontologies de représentation ou méta‐ontologies
buts des ontologies [Van Heijst et al, 1997]
80. OWL in one… définir par…
{a,b,c,d,e} par énumération par intersection
par union par complément
≠ la disjonction
! par restriction
1..1
prop. algébriques par cardinalité
≡ par équivalence
84. RDFa signifie
RDF dans des attributs de HTML
<div xmlns:dc=quot;http://purl.org/dc/elements/1.1/quot;>
<h2 property=quot;dc:titlequot;>The trouble with Bob</h2>
<h3 property=quot;dc:creatorquot;>Alice</h3>
...
</div>