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

MCC

Les épreuves indiquées respectent et appliquent le règlement de votre formation, disponible dans l'onglet Documents de la description de la formation.

Régime d'évaluation

ECI (Évaluation continue intégrale)

Évaluation initiale / Session principale - Épreuves