Logique et sémantique
Damien Nouvel
Damien Nouvel (Inalco) Sémantique 1 / 44
Graphes pour la logique
Plan
1. Graphes pour la logique
2. Graphes conceptuels
3. Logiques de description
4. Web sémantique
Damien Nouvel (Inalco) Sémantique 2 / 44
Graphes pour la logique
Logique et représentations
§ Représentations logiques par diagrammes
‚ Euler („1750) : ensembles
‚ Venn („1880) : négation par coloration
‚ Caroll („1880) : négation par dichotomie
§ Sémiotique de C. S. Peirce („1910)
‚ Triade : representamen / interprétant / référent
ñ Triangle sémiotique
‚ Signe (representamen)
‚ Indice : trace laissée par le référent
‚ Icône (image, diagramme, métaphore) : représente le référent
‚ Symbole : lien arbitraire avec le référent (règle)
‚ Coupure sémiotique : distance entre signe et référent
Damien Nouvel (Inalco) Sémantique 3 / 44
Graphes pour la logique
Graphes existentiels (Peirce)
§ 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)
Damien Nouvel (Inalco) Sémantique 4 / 44
Graphes pour la logique
Graphes existentiels alpha
Formule Graphe
A^B A B
A ^ ␣B A B
A _ B ” ␣(␣A ^ ␣B) A B
A Ñ B ” ␣(A ^ ␣B) A B
Damien Nouvel (Inalco) Sémantique 5 / 44
Graphes pour la logique
Graphes existentiels beta
Formule Graphe
Dx, Homme(x) Homme
␣Dx, Homme(x) Homme
Dx, ␣Homme(x) Homme
Dx, Dy, Homme(x) ^
Homme Mange Pomme
Pomme(y)^Mange(x, y)
@xPomme(x) Ñ
Pomme Fruit
Fruit(x)
Damien Nouvel (Inalco) Sémantique 6 / 44
Graphes pour la logique
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
1. Graphes pour la logique
2. Graphes conceptuels
3. Logiques de description
4. Web sémantique
Damien Nouvel (Inalco) Sémantique 8 / 44
Graphes conceptuels
Graphes conceptuels
§ J. F. Sowa (1984) : représentation de connaissances
ñ Rapprochement entre langage naturel et sémantique
ñ Notion de scène et procès
§ Graphe inspiré des réseaux sémantiques
‚ Noeuds
‚ Concepts (objets du monde modélisé)
‚ Relations (entre les objets)
‚ Arcs orientés non typés
ñ Bipartite (concepts / relations), connecté et fini
ñ Les relations sont des nœuds
HOMME AGENT MANGER OBJET POMME
Damien Nouvel (Inalco) Sémantique 9 / 44
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
Extensions des graphes conceptuels
§ Possibilité d’imbriquer des graphes
‚ Propositions relatives / conditionnelles
‚ Difficultés pour les raisonnements
§ Conversion en formules logiques
‚ Fonction qui transforme un graphe en forme linéaire
‚ Formats et syntaxe : CGIF, KIF, prédicats
‚ Principe
‚ Sommets non instanciés : variables
‚ Sommets instanciés (marqueurs individuels) : constantes
‚ Concepts : prédicats unaires
‚ Relations : prédicats n-aires
ñ Quantification existentielle et conjonction
ñ Ensembles de triplets
Damien Nouvel (Inalco) Sémantique 12 / 44
Graphes conceptuels
Exemple
§ Paul va en bus à Paris
HOMME :Paul AGNT ALLER DEST VILLE : Paris
INST
BUS
Damien Nouvel (Inalco) Sémantique 13 / 44
Graphes conceptuels
Exemple
§ Le livreur apporte les courses au client.
Damien Nouvel (Inalco) Sémantique 14 / 44
Graphes conceptuels
Exemple
§ Les deux types croient que Paul vend sa voiture rouge à Jean
HOMME :{*}@2 AGNT CROIRE
THEME
HOMME :Paul AGNT VENDRE DEST HOMME :Jean
OBJET
VOITURE ATT COULEUR :rouge
Damien Nouvel (Inalco) Sémantique 15 / 44
Graphes conceptuels
Opérations sur les graphes
§ Dérivation de graphes (spécialisation)
‚ Simplification : fusion de relations identiques
‚ Jointure interne : fusion de concepts identiques
‚ Restriction de type : changement de type
‚ Restriction de référence : ajout d’un individu
§ Composition de graphes
‚ Somme : juxtaposition de graphes
‚ Jointure : copie de graphes avec fusion d’un concept
ñ Compatibilité des individus avec les types
‚ Projection : recherche d’un graphe dans un autre
ñ Sous-graphe spécialisé
§ Graphes de définition : expansion, contraction
Damien Nouvel (Inalco) Sémantique 16 / 44
Graphes conceptuels
Algèbre des graphes
§ 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
Damien Nouvel (Inalco) Sémantique 17 / 44
Graphes conceptuels
Exercice
§ Soit le graphe conceptuel :
PERSONNE AGNT ACHETER OBJ BIEN
§ Indiquez les opérations et graphes résultants
‚ La personne qui achète est Jean
‚ Le bien acheté est un livre
‚ Quelqu’un achète un bien à Marie
‚ C’est Jean qui achète un livre à Marie
‚ Marie a lu un livre qui lui a été acheté
‚ Qui a lu le livre acheté par Jean ?
Damien Nouvel (Inalco) Sémantique 18 / 44
Logiques de description
Plan
1. Graphes pour la logique
2. Graphes conceptuels
3. Logiques de description
4. Web sémantique
Damien Nouvel (Inalco) Sémantique 19 / 44
Logiques de description
Logique et terminologie
§ Extension des réseaux sémantiques
§ Représentation de connaissances terminologique : ă T, A ą
‚ T : T-Box, système Terminologique (notions, concepts)
ñ Définition des concepts
ñ Règles, formules
‚ A : A-Box, Assertions sur les individus (instances)
ñ Types de concepts : C(a) ou a : C
ñ Relations (rôles) entre concepts : R(a, b) ou (a, b) : R
ñ Faits, description de situations
ñ Formalisme simplifié et opérationnel
§ Éléments (disjoints deux-à-deux)
‚ Concepts
‚ Rôles
‚ Individus
Damien Nouvel (Inalco) Sémantique 20 / 44
Logiques de description
Concepts et rôles terminologiques
§ 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
Damien Nouvel (Inalco) Sémantique 21 / 44
Logiques de description
Opérateurs des logiques de description
§ 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
Damien Nouvel (Inalco) Sémantique 22 / 44
Logiques de description
Syntaxe des logiques de description
§ 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
Damien Nouvel (Inalco) Sémantique 23 / 44
Logiques de description
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 [ @[Link][ ě 2membre
‚ Une petite équipe contient moins de 5 membres
‚ PetiteEquipe ” Equipe[ ď 5membre
‚ Une équipe structurée contient un(e) responsable
‚ Responsable Ď Personne
‚ EquipeStructuree ” Equipe [ [Link]
Damien Nouvel (Inalco) Sémantique 24 / 44
Logiques de description
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
Damien Nouvel (Inalco) Sémantique 25 / 44
Logiques de description
Propriétés des logiques de description
§ 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
Damien Nouvel (Inalco) Sémantique 26 / 44
Logiques de description
Extensions
§ Logique minimale AL = tJ, K, ␣A, C1 [ C2 , @r1 C1 , Dr1 u
§ Certaines parties sont des extensions
‚ Négation de concepts complexes
ALC = AL Y t␣Cu
‚ Disjonction de concepts
ALU = AL Y tC1 \ C2 u
‚ Quantification existentielle typée
ALϵ = AL Y tDr1 C1 u
‚ Cardinalités de rôles
ALN = AL Y t= xr1 C1 , ď xr1 C1 , ě xr1 C1 u
‚ Conjonction de rôles
ALR = AL Y tr1 [ r2 u
‚ Rôles inverses ALI, composition ALH, range ALQ, …
Damien Nouvel (Inalco) Sémantique 27 / 44
Logiques de description
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
Damien Nouvel (Inalco) Sémantique 28 / 44
Logiques de description
Avantages et implémentations
§ Avantages des logiques de description
‚ Par rapport au langage naturel
‚ Sémantique formelle et définie
‚ Par rapport à la logique
‚ Décidabilité : entre propositions et du premier ordre
ñ Utilisé pour le web sémantique
§ Implémentations
‚ Protégé [Link]
‚ Hermit [Link]
‚ Pellet [Link]
‚ Racer [Link]
‚ FaCT [Link]
Damien Nouvel (Inalco) Sémantique 29 / 44
Web sémantique
Plan
1. Graphes pour la logique
2. Graphes conceptuels
3. Logiques de description
4. Web sémantique
Damien Nouvel (Inalco) Sémantique 30 / 44
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
§ Resource Description Framework (W3C, 1999)
ñ Bases de connaissances pour le web
‚ Utilisation de triplets : (sujet, prédicat, objet)
ñ Base de connaissances
‚ Description de faits
‚ Intégrée au web (URLs, XML)
‚ Requêtes de bases de données
ñ Mélange de standards
ñ Partie A-Box
ñ Pas vraiment de T-Box …
Damien Nouvel (Inalco) Sémantique 32 / 44
Web sémantique
OWL
§ Ontology Web Language (2004)
ñ Extension de RDF / RDFS (schema)
ñ Inspiré des logiques de descriptions
‚ Concepts
‚ Rôles
§ Plusieurs versions
‚ OWL-Lite : concepts et hiérarchies
‚ OWL-DL : logique de description
‚ OWL-Full : raisonnements (indécidables)
ñ Partie T-Box
Damien Nouvel (Inalco) Sémantique 33 / 44
Web sémantique
Espaces de noms
§ Restriction d’une ontologie à un domaine
‚ Modéliser domaine par domaine
‚ Importation d’ontologies de différents domaines
§ Quelques ontologies populaires
‚ BabelNet : équivalent WordNet multilingue
‚ FOAF (Friend Of A Friend) : relation entre individus /
sociétés
‚ Cyc : univers du discours
‚ Dublin Core : publication de documents
‚ …
Damien Nouvel (Inalco) Sémantique 34 / 44
Web sémantique
Protégé
§ Logiciel pour contruire des ontologies
§ Télécharger Protégé : [Link]
§ Éléments essentiels
‚ Hiérarchie de concepts
‚ Relations comme propriétés d’objets (hiérarchie)
‚ Formule logique pour définir des concepts
‚ Raisonnements et inférences
Damien Nouvel (Inalco) Sémantique 35 / 44
Web sémantique
SPARQL : concepts de base et syntaxe
§ Langage de requête pour les ontologies
§ dots
Damien Nouvel (Inalco) Sémantique 36 / 44
Web sémantique
SKOS
§ Simple Knowledge Organization System (2004)
ñ Pour les terminologie / thésaurus
§ Complète RDF et OWL
‚ Concepts (URI)
‚ Labels / étiquettes
‚ Gestion du multilinguisme (XML lang)
§ Relations sémantiques
‚ Dans le vocabulaire
‚ Généralisation : broader
‚ Spécialisation : narrower
‚ Associations : related
‚ Entre vocabulaires : correspondances
Damien Nouvel (Inalco) Sémantique 37 / 44
Web sémantique
FOAF
§ Friend Of A Friend (2000)
ñ Pour modéliser les individus et leurs relations
‚ Agent : personnes, groupes, organisations
‚ Document : images, profils
‚ Projets
§ Relation membre entre groupe et agents
§ Propriétés
‚ Agents : date de naissance, organisation, email, site web …
‚ Personnes : prénom, nom de famille, projet …
‚ …
ñ Socle commun pour définir des organisations humaines
Damien Nouvel (Inalco) Sémantique 38 / 44
Web sémantique
Cas d’application : BNF
§ Bibliothèque Nationale de France
ñ Catalogue d’ouvrages…d’auteurs, de pays, d’œuvres, etc.
§ Utilisation de plusieurs standards du web sémantique, dont :
Dublin Core, SKOS, FOAF, Geonames, IGN, INSEE, ISNI,
OWL, RDFS …
ñ Volonté d’ouvrir l’accès aux données
‚ Adresse (URI) : [Link]
‚ Historique : 2011 (35K pages) à aujourd’hui (900K auteurs)
‚ Aspects juridiques : licence ouverte
§ Possiblité de faire des requêtes SPARQL :
[Link]
Damien Nouvel (Inalco) Sémantique 39 / 44
Web sémantique
Cas d’application : BNF (concepts)
Damien Nouvel (Inalco) Sémantique 40 / 44
Web sémantique
Cas d’application : BNF (structure)
Damien Nouvel (Inalco) Sémantique 41 / 44
Web sémantique
Cas d’application : BNF (exercices)
§ Faire les requêtes suivantes :
‚ Quels auteurs sont morts pendant la 2ème guerre mondiale ?
‚ Quels auteurs sont nés à Paris ?
‚ Quels ouvrages sur Paris ont été écrit par des parisiens ?
Damien Nouvel (Inalco) Sémantique 42 / 44
Web sémantique
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
§ Ontologie des instruments et musiciens
‚ Classes d’instruments : cordes, cuivre, percussions, bois
‚ Musicien : joue d’un instrument
‚ Groupe musical, composé de musiciens à inférer
‚ Groupe de rock
‚ Groupe de rap
‚ Groupe d’électro
‚ Fanfare
‚ Quatuor de cordes
‚ Orchestre symphonique
Damien Nouvel (Inalco) Sémantique 44 / 44
