Equipes
  Bases de Données
  Intelligence Artificielle et Systèmes d'Inférence

Equipes-projets Inria communes


Resultats majeurs
  Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
  SomeRDFS in the Semantic Web
  L2R: A Logical Method for Reference Reconciliation
  DL-liteR in the Light of Propositional Logic for Decentralized Data Management
  Discovering Cross-language Links in Wikipedia through Semantic Relatedness
  Entity Discovery and Annotation in Tables
  CIKM 2013 : Mapping Adaptation Actions for the Automatic Reconciliation of Dynamic Ontologies

Contrats
  PICSEL 3
  MEDIAD
  SHIRI
  GEONTO
  MICROBIOGENOMICS
  Web-Content
  WEBSTAND
  E DOT
  MDP2P
  ACI NPP
  HEDI
  EIT ICT Labs - KIC 2012
  QUALINCA
  DataPublica
  EIT ICT LABS-KIC 2012
  FedWedK
  FacileMedia

Logiciels et brevets
  OntoClass & OntoQuery
  BioGuide
  Active XML
  GeneValorization
  KD2R
  TEXAN
  POI-HELPER
  REISA
  SHIRI-Querying
  SHIRI-Annot
  XRP
  FactMinder

Collaborations
  France Télécom R&D Rennes - Projet SWID

Membres
  GAGLIARDI Hélène
  ROUSSET Marie-Christine
  RANCE Bastien
  ABDALLAH Nada
  TOFFANO-NIOCHE Claire
  ZARGAYOUNA Haïfa
  ABITEBOUL Serge
  GIRALDO Gloria
  KEFI Hassen
  ADJIMAN Philippe
  MRABET Yassine
  ASLAOUI-ERRAFII Zahira

Thèses et habilitations
  Réécriture de requêtes en termes de vues dans CARIN et intégration d'information
  Structured and semi-structured data Integration

° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° biologie synthetique
° Calcul à haute performance
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Distributed Design
° Fab lab
° Fabrication Numérique
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs