Académique Documents
Professionnel Documents
Culture Documents
Damien Nouvel
Plan
2. Graphes conceptuels
3. Logiques de description
4. Web sémantique
Logique et représentations
§ Représentation graphique
‚ Alpha : logique propositionnelle
‚ Beta : logique du premier ordre
‚ Gamma : logique modale
ñ Utilisation de symboles et de lignes
‚ Feuille blanche : assertions vraies
‚ Ligne continue fermée : négation (ou coupure)
‚ Ligne d’identité : quantification existentielle
‚ Ligne entre symbole : relation (prédicat)
A ^ ␣B A B
A _ B ” ␣(␣A ^ ␣B) A B
A Ñ B ” ␣(A ^ ␣B) A B
@xPomme(x) Ñ
Pomme Fruit
Fruit(x)
Réseaux sémantiques
§ Taxinomies de Quillian et Collins („1965)
‚ Nœuds : concepts (termes)
‚ Arcs typés
‚ is-a : relation d’agrégation (subsomption)
‚ has-a : relation de composition (méronymie)
‚ kind-of : relation d’instanciation
‚ Wordnet (1985, anglais)
‚ Synsets : synonymes
‚ Noms : hyperonymes / hyponymes, meronymes / holonymes
‚ Verbes : hyperonymes, troponymes, implication (entailment)
ñ En 2012 : „ 150 000 mots, „ 120 000 synsets
ñ Sémantique des arcs / liens / relations
ñ Nombre limité de relations
ñ Pas de disjonction explicite
ñ Quantification par relation
Damien Nouvel (Inalco) Sémantique 7 / 44
Graphes conceptuels
Plan
2. Graphes conceptuels
3. Logiques de description
4. Web sémantique
Graphes conceptuels
Concepts et types
§ Types
‚ Ordre partiel avec J et K
ñ Treillis (subsomption, relation is-a)
J
HOMME FRUIT
POMME ORANGE
§ Quantification K
‚ Par défaut : existentielle
‚ Référent comme individu ou ensemble
‚ Homme : #58
‚ Homme : Damien
‚ Homme : Pierre, Paul, Jacques
‚ Homme : {*}@4
‚ Homme : @
Damien Nouvel (Inalco) Sémantique 10 / 44
Graphes conceptuels
Rôles thématiques
ñ Importance des relations normalisées
ñ Relations aussi partiellement ordonnées
§ Relations usuelles
‚ Agent : acteur de l’action
‚ Patient : subit l’action (siège)
‚ Instrument : moyen pour réaliser l’action
‚ Mais aussi : destination, thème, objet, expérient, cause,
résultat, source, etc.
ñ Lien entre la syntaxe et les rôles sémantiques
ñ Étiquetage en rôles sémantiques
ñ Encore beaucoup de difficultés
‚ Voix passive
‚ Relation temporelles
‚ Adverbes et circonstants
‚ …
Damien Nouvel (Inalco) Sémantique 11 / 44
Graphes conceptuels
Exemple
INST
BUS
Exemple
Exemple
§ Les deux types croient que Paul vend sa voiture rouge à Jean
HOMME :{*}@2 AGNT CROIRE
THEME
OBJET
§ Opérations de spécialisation
‚ Sous-graphe : sélection de nœuds
‚ Sous-types : identique excepté les types (restriction)
‚ Individu : identique excepté les marqueurs (restriction)
ñ Relation de spécialisation : ordre partiel sur les graphes (ď)
§ Canon
‚ Hiérarchie de types
‚ Ensemble de marqueurs individuels
‚ Relation entre marqueurs et types
‚ Ensemble de graphes
ñ Dérivations à partir de la base de connaissances
Exercice
Plan
2. Graphes conceptuels
3. Logiques de description
4. Web sémantique
Logique et terminologie
§ Extension des réseaux sémantiques
§ Représentation de connaissances terminologique : ă T, A ą
§ T-Box
‚ Concepts
‚ Ensembles d’individus
‚ Inclusion (conditions nécessaires) : Ď
‚ Équivalence (conditions nécessaires et suffisantes) : ”
ñ Majuscules
‚ Rôles
‚ Relations entre individus (ensemble, produit cartésien)
ñ Toujours binaires
ñ Minuscules
§ A-Box
‚ Prédication unaires (concepts) ou binaires (rôles)
‚ Uniquement avec des individus
§ Symboles
‚ Concepts : universel J et absurde K
‚ Définition de concepts : Ď et ”
‚ Négation : ␣
‚ Conjonction : [
‚ Quantification : @ ou D
‚ Dénombrement : =, ď ou ě
ñ Pas de variables
ñ Pas de disjonctions
§ Concepts ensemblistes
‚ ␣C1
‚ C1 [ C2
§ Restrictions
‚ @r1 C1 ou Dr1 C1
‚ = xr1 C1 , ď xr1 C1 ou ě xr1 C1
§ Axiomes
‚ C1 Ď C2
‚ r1 Ď r2
‚ C1 ” C2
‚ r1 ” r2
Exemple
§ T-Box
‚ Un homme est une personne
‚ Homme Ď Personne
‚ Une femme est une personne
‚ Femme Ď Personne
‚ On ne peut être homme et femme
‚ Homme [ Femme Ď K
‚ Une équipe est un ensemble d’au moins deux personnes
‚ Equipe ” Ensemble [ @membre.Personne[ ě 2membre
‚ Une petite équipe contient moins de 5 membres
‚ PetiteEquipe ” Equipe[ ď 5membre
‚ Une équipe structurée contient un(e) responsable
‚ Responsable Ď Personne
‚ EquipeStructuree ” Equipe [ Dmembre.Responsable
Interprétation
§ Interprétation I
‚ Domaine ∆I : individus
‚ Fonction d’interprétation ensembliste
‚ JI = ∆I
‚ KI = H
‚ (␣A)I = ∆I zAI
‚ (C1 [ C2 )I = CI1 X CI2
‚ (@r1 C1 )I = ta P ∆I |@b, (a, b) P R1 Ñ b P C1 u
‚ (Dr1 C1 )I = ta P ∆I |Db, (a, b) P R1 ^ b P C1 u
§ Satisfiabilité
‚ Un concept C est satisfiable s’il existe une interprétation I
telle que CI ‰ H
§ Incohérence
‚ Un concept C est incohérent si pour toute interprétation I
telle que CI = H
§ Subsomption
‚ Un concept C1 est subsumé par un concept C2 si pour toute
interprétation I, CI1 Ă CI2
§ Incompatibilité
‚ Deux concepts C1 et C2 sont incompatibles ssi pour toute
interprétation I, CI1 X CI2 = H
Extensions
Inférences
§ Test de la subsomption
‚ C1 Ď C2 est vrai
‚ C1 [ ␣C2 est non satisfiable
ñ Réfutation
§ Méthode des tableaux
‚ Décomposition des formules selon les connecteurs (arbres)
‚ a ^ b : deux formules a et b sur la même branche
‚ a _ b : chaque formule a et b sur une branche
‚ Toutes les branches doivent être fermées (contradictions)
‚ Branches non fermées : modèle pour l’ensemble de départ
Avantages et implémentations
Plan
2. Graphes conceptuels
3. Logiques de description
4. Web sémantique
Ontologies
§ Étymologie
‚ onto- : être
‚ -logie : science
ñ Science de l’existence
ñ Aristote, Thomas d’Aquin, Kant, Spinoza, Heidegger …
§ Informatique
‚ Modélisation des connaissance (explicatives) d’un domaine
‚ A specification of a conceptualization. (Gruber, 1992)
‚ Une conceptualisation est une vue abstraite et simplifiée du
monde que l’on veut représenter (Gruber, 1992)
ñ Visée applicative
‚ Partage de connaissances (interconnexion, web)
‚ Réutilisabilité (validité dans le temps)
‚ Vocabulaire consistant
ñ Développement relativement récent
Damien Nouvel (Inalco) Sémantique 31 / 44
Web sémantique
RDF
OWL
Espaces de noms
Protégé
SKOS
FOAF
Exercice : habitation
§ Ontologie des habitations
‚ Concepts à hiérarchiser : bien, logement, espace (interieur ou
exterieur), pièces possibles (cuisine, salle d’eau, douche, WC,
salle de bains, salon, bureau, chambre), jardin, terrasse, etc.
‚ Définir la propriété de bien qui contient des espaces
‚ Définir par contraintes les logements suivants
‚ Habitation salubre (avec salle d’eau)
‚ Studio (chambre, salle d’eau)
‚ Appartement (au moins 3 pièces)
‚ Petite habitation (au plus 4 espaces intérieurs)
‚ Grande habitation (au moins 4 pièces hors salles d’eau)
‚ Bureau (pas de salle de bain)
‚ Habitation prestigieuse (toutes prestations)
‚ Villa (avec un jardin)
§ Ajouter une description d’habitation comme individus...
Damien Nouvel (Inalco) Sémantique 43 / 44
Web sémantique
Exercice : musique