Site Unistra - Accueil
Faire un don

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

Discipline(s)

  • 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

Contact

Responsable(s) de l'enseignement
Florence Brassac Le Ber : florence.le-ber@unistra.fr