Systèmes de représentation des connaissances
From Isiwiki
Cours de maîtrise en systèmes d'information, semestre d'automne 2010
mercredi 10h15-12h, CUI, Battelle, salle 319 (cours)
mercredi 12h15-14h, CUI, Battelle, salle 319 (séminaire)
Responsables: Gilles Falquet et Claudine Métral
[edit] Objectifs
- connaitre les principaux systèmes d'organisation des connaissances et les principaux formalismes/langages de représentation des connaissances, en particulier les logiques de description
- connaitre les techniques de traitement des connaissances (raisonnement formel, interrogation, ...)
- savoir utiliser les techniques de base du web sémantique (langages RDF et OWL, bases de triplets RDF, raisonneurs, ...)
- comprendre la problématique de la conception des ontologies, connaitre des éléments méthodologiques et savoir les mettre en application dans des domaines limités
[edit] Contenu du cours
Introduction
- information, connaissance, données, traitements de la syntaxe à la sémantique : principes du web sémantique
Modèles de données semi-structurés
- un modèle essentiellement arborescent: XML
- un cadre de représentation de type graphe: RDF
- modélisation des données liées (linked data) avec RDF
- bases de données RDF et interrogation avec SPARQL pour le web sémantique
- types et méta-types
- schémas RDFS
Ontologies formelles
- le besoin de références communes formalisées, notion d'ontologie
- introduction aux logiques de description
- le langage ontologique OWL pour le web sémantique
Utilisation des connaissances pour la réalisation d'applications web sémantique
- raisonnements: vérification de consistance, calcul de subsomption, recherche d'instances
- bases de données et ontologies : des usages complémentaires
- accès intégré à des ressources
- recherche d'information (multimédia) basée sur les connaissances
- langages de règles (SWRL)
Construction des ontologies
- ontologies et langue naturelle, ontologies et terminologie
- typologie des ontologies (thesaurus, ontologies lexicales, SKOS, ...)
- méthodologies de conception d'ontologies
- alignement des ontologies
Outils et domaines d'application spécifiques
- autres formes de raisonnement : abduction, opérateurs épistémique, ...
- prise en compte des données spatiales et temporelles
- traitement de la langue naturelle pour le web sémantique
- bibliothèques numériques sémantiques
[edit] Séminaire
Le séminaire comprendra des exercices et des travaux pratiques.
Les TP permettront de réaliser des projets traitant de cas concrets, en particulier dans le domaine des connaissances environnementales.
Tout le matériel de cours se trouve sur le serveur Dokeos : https://dokeos.unige.ch/home/courses/SRC/
