Modélisation de connaissances
Master InformatiqueParcours Sciences des données et systèmes complexes (SDSC)
ComposanteUFR de mathématique et d'informatique
Description
Cet enseignement a pour but de présenter les principes et techniques permettant la représentation et la manipulation de connaissances dans des systèmes "intelligents".
Compétences requises
À l'entrée de cet enseignement l'étudiant devrait savoir : Connaissances de base en informatique Modélisation (bases de données ou objet) Logiques CP0, CP1 SQLCompétences visées
À l'issue de cet enseignement un·e étudiant·e saura :
- Utiliser des logiques avancées
- Modéliser des concepts, leurs propriétés et leurs relations avec des logiques avancées
- Développer et peupler une ontologie selon une démarche structurée
- Écrire des règles et des requêtes pour les ontologies
- Construire et interpréter des règles d’implication et d’association
Disciplines
- Informatique
Syllabus
Les principaux langages et outils de modélisation seront étudiés Logiques de descriptions : langages et raisonnements Règles d’implication et d’association Treillis de Galois Langages du web sémantique : RDF, RDFS, OWL Langages d’interrogation : SPARQL, SWRL Outils pour le développement d’ontologie : ProtégéBibliographie
- Une introduction aux logiques de descriptions. Amedeo Napoli. RR-3314, INRIA. 1997, pp.72 https://hal.inria.fr/inria-00073375/document
- Le web sémantique : Comment lier les données et les schémas sur le web ? Fabien Gandon, Olivier Corby. Dunod. 2012, pp. 218