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
• SQL

Compé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

Contacts

Responsable(s) de l'enseignement

• Florence Brassac Le Ber