Composition de l'équipe
  Responsable
    REYNAUD Chantal

  Membres permanents
    BIENVENU Meghyn
    CHATALIC Philippe
    DAGUE Philippe
    GOASDOUE François
    PERNELLE-MANSCOUR Nathalie
    REYNAUD Chantal
    SAFAR Brigitte
    SAÏS Fatiha
    SIMON Laurent
    VENTOS Véronique

  Membres non-permanents
    ARMANT Vincent
    DE AMORIM FONSECA André
    DOS REIS Julio Cesar
    GHOSH Tushar Indranath
    KARANASOS Konstantinos
    KOUTRAKI Maria
    LEBLAY Julien
    MRABET Yassine
    QUERCINI GIANLUCA Vittorio
    ROATIS Ioana-Alexandra
    SYMEONIDOU danai
    YE Lina

  Associés
    HAMDI Fayçal
    MELLITI Tarek
    ROUSSET Marie-Christine

Thèmes de recherche
  Intelligence Artificielle
  Bases de données
  Représentation des connaissances
  Intégration d'informations
  Démonstration automatique
  Diagnostic
  SAT
  Ingénierie des connaissances
  QBF
  Compilation de bases de connaissances
  Web sémantique
  Ontologies
  Raisonnement automatique

Projet(s) associé(s)
  LEO
  OAK

Contrats en cours
  DATABRIDGES
  DW4RDF.2

Logiciels et brevets
  SomeWhere : Calcul de conséquences en pair-à-pair
  OntoClass & OntoQuery : Moteur de réécriture de requêtes en termes de vues pour la mise en oeuvre de médiateurs
  TaxoMap : Un outil d'alignement de taxonomies
  LN2R : Une méthode Logique et une méthode Numérique pour la Réconciliation de Références
  XTAB2SML : Outil d'annotation sémantique de tableaux guidée par une ontologie
  SomeWhere+ : Calcul paraconsistant de conséquents en mode pair à pair
  Active XML : Spécification déclarative d'applications Web
  OptimAX : Optimiseur algébrique pour Active XML
  ULoad : Gestionnaire de vues XML
  KadoP : Système d'indexation et d'interrogation XML en P2P
  Acware : Un système pour le stockage de contenus
  GUNSAT : GUNSAT, a greedy local search algorithm for unsatisfiability
  AlignViz : AlignViz
  AnnoVip : AnnoVip
  EAP Framework : EAP Framework
  EdiFlow : EdiFlow
  LiquidXML : LiquidXML
  MESAM : MESAM
  RDFViews : RDFViews
  SpyWhere : SpyWhere
  ViP2P : views in peer-to-peer
  XupOp : XupOp
  XupIn : XML query-update independence tester
  BPEL2CPN : BPEL2CPN
  TaxoMap Framework : TaxoMap Framework
  KD2R : OWL2 key discovery on RDF datasets
  cTuning : public repository and tools for collaborative and statistical program and architecture characterization and optimization

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

Thèses et habilitabions récentes
  Diagnosticabilité et diagnostic de systèmes technologiques pilotés (Développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés
  Améliorer l'interopérabilité sémantique : Applicabilité et utilité de l'alignement d'ontologies
  Optimized Diagnosability of Distributed Discrete Event Systems Through Abstraction

Seminar by Verena Kantere

Ven. 17 février 2012 - 14h00

Sofian Maabout: Computation of Borders and Applications
Sofian Maabout
Ven. 10 février 2012 - 14h00

Kostas Stefanidis: Contextual Database Preferences

Ven. 27 janvier 2012 - 14h00

Jorge Quiane: Managing Very Large Datasets in a Cloudy World

Mer. 25 janvier 2012 - 15h45

Xiao Bai: Toward distributed search

Ven. 20 janvier 2012 - 14h00

PhD defense of Marina Sahakyan
Marina Sahakyan
Jeu. 17 novembre 2011 - 14h00

Heuristic based Query Optimisation for SPARQL
Irini Fundulaki
Ven. 21 octobre 2011 - 14h00

Distributed RDF Query Processing and Reasoning in Peer-to-Peer Networks
Zoi Kaoudi
Ven. 07 octobre 2011 - 14h30

PhD defense of Nadjet Zemirline
Nadjet Zemirline
Mar. 12 juillet 2011 - 14h00

Seminar by Juliana Freire
Juliana Freire
Lun. 11 juillet 2011 - 13h45

PhD defense of Lina Ye
Lina Ye
Jeu. 07 juillet 2011 - 14h00

From problem decompositions to semantic interoperability: a journey between databases and artificial intelligence
Zoltan Miklos
Ven. 01 avril 2011 - 14h00

TLM - Transformation Lifecycle Management
Melanie Herschel
Lun. 28 mars 2011 - 14h00

Role of the Implicit Geographic Context in Geotagging News Articles
Gianluca Quercini
Ven. 25 mars 2011 - 14h00

A Database Approach to Programming Large-Scale Behavioral Simulations
Marcos Vaz Salles
Ven. 18 mars 2011 - 14h00

Data management with uncertainty
Matteo Magnani
Lun. 14 mars 2011 - 14h00

Large-Scale Data Integration Techniques for Knowledge about Words and Entities
Gerard de Melo
Lun. 07 mars 2011 - 11h00

PhD defense of Pierre Bourhis
Pierre Bourhis
Ven. 11 février 2011 - 14h00

SIGMOD 2010 Programming Contest
Hyunjung Park
Ven. 17 décembre 2010 - 14h00

PhD defense of Yingmin Li
Yingmin Li
Jeu. 09 décembre 2010 - 14h00

PhD defense of Mouhamadou Thiam
Mouhamadou Thiam
Jeu. 09 décembre 2010 - 14h00

Harvesting Knowledge from Web Data and Text
Fabian Suchanek
Ven. 26 novembre 2010 - 14h00

Efficient Query Answering in Peer Data Management Systems
Armin Roth
Mar. 13 juillet 2010 - 13h30

Ajax-based Report Pages as Incrementally Rendered Views
Yannis Papakonstantinou
Ven. 09 juillet 2010 - 14h00

Integration and analysis of data, from heterogeneous sources adapted to user profiles
Mostafa Ezziyyani
Lun. 05 juillet 2010 - 14h00

EdiFlow: data-intensive interactive workflows for visual analytics
Wael Khemiri
Ven. 28 mai 2010 - 14h00

De la compilation de bases de croyances stratifiées à l'inférence à partir de bases de croyances partiellement préordonnées
Safa Yahi
Ven. 16 avril 2010 - 14h15

Leo Seminar

Ven. 09 avril 2010 - 13h30

Leo Seminar
Dario Colazzo, The ViP2P team
Ven. 19 février 2010 - 14h00

YAGO & SOFIE: Automated Construction of a Large Ontology
Fabian Suchanek
Ven. 12 février 2010 - 14h00

Algebra-based cost optimization and execution for XPath
Vasilis Vassalos
Ven. 11 décembre 2009 - 14h00

Gemo Seminar
Sihem Amer-Yahia, Amélie Marian
Ven. 04 décembre 2009 - 14h00

Gemo Seminar
Veronique Ventos, Konstantinos Karanasos
Ven. 27 novembre 2009 - 14h00

Processing and Efficient Evaluation of Generalized Tree-Pattern Queries
Dimitri Theodoratos
Ven. 20 novembre 2009 - 14h00

Core Mappings: Schema Mapping Revolution
Paolo Papotti
Mar. 03 novembre 2009 - 14h00

XQuery on the Cloud
Donald Kossmann
Jeu. 29 octobre 2009 - 14h00

Do-It-Yourself Custom Database-Driven Web Applications
Yannis Papakonstantinou
Ven. 16 octobre 2009 - 14h00

Schema Mapping Verification: The Spicy Way
Angela Bonifati
Mar. 23 juin 2009 - 16h00

Satisfiability and Relevance for Queries over Active Documents
Pierre Bourhis
Ven. 12 juin 2009 - 14h00

Séminaire Gemo-IASI
Cédric Pruski, Spyros Zoupanos
Ven. 03 avril 2009 - 14h00

Ontology-Based Data Access and Data Integration
Diego Calvanese
Mer. 25 février 2009 - 14h00

On corroboration and trust
Alban Galland
Ven. 06 février 2009 - 14h00

Alignment-based Partitioning of Large-scale Ontologies
Faycal Hamdi
Ven. 06 février 2009 - 14h00

Incompleteness in Information Integration
Evgeny Karlamov
Ven. 12 décembre 2008 - 14h00

Le problème SAT, ou comment devenir maître du monde
Laurent Simon
Ven. 12 décembre 2008 - 14h00

PhD defense of Fayçal Hamdi

Mar. 02 décembre 2008 - 14h00

And Logic Begat Computer Science: When Giants Roamed the Earth
Moshe Y. Vardi
Mer. 05 novembre 2008 - 14h00

Situational Business Intelligence
Volker Markl
Jeu. 25 septembre 2008 - 14h00

Community Systems in P2P
Marilena Oita
Ven. 04 juillet 2008 - 14h00

OptimAX: Optimizing Distributed ActiveXML Applications
Spyros Zoupanos
Ven. 04 juillet 2008 - 14h00

Source-centric temporal model for information modelling in social sciences
Benjamin Nguyen
Ven. 16 mai 2008 - 14h00

Personnalisation de la navigation via l'apprentissage de profils utilisateurs
Yassine Mrabet
Ven. 28 mars 2008 - 14h00

Modular construction of finite and complete prefixes of Petri net unfoldings
Agnès Madalinski
Ven. 28 mars 2008 - 14h00

On the Foundations of Computing Deltas Between RDF Models
Vassilis Christophides
Ven. 01 février 2008 - 14h00

Consequence Finding in propositional Peer-to-Peer Inference Systems Revisited
Nada Abdallah
Ven. 11 janvier 2008 - 14h10

Active documents: satisfiability of queries and view maintenance
Pierre Bourhis
Ven. 11 janvier 2008 - 14h00

On the Foundations of Computing Deltas Between RDF Models
Vassilis Christophides
Mer. 02 janvier 2008 - 14h00

Entity ranking in Wikipedia
Johan Pehcevski
Ven. 19 octobre 2007 - 14h00

Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
01 janvier 2006
By Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset and Laurent Simon. Journal of Artificial Intelligence Research, Vol. 25, pages 269-314, 2

DL-liteR in the Light of Propositional Logic for Decentralized Data Management
01 avril 2009
N. Abdallah, F. Goasdoué, and M.-C. Rousset. Int. Joint Conf. on Artificial Intelligence (IJCAI).

L2R: A Logical Method for Reference Reconciliation
22 juillet 2007
By Fatiha Saïs, Nathalie Pernelle, and Marie-Christine Rousset, AAAI'07.

Non-conservative Extension of a Peer in a P2P Inference System
01 décembre 2009
Nada Abdallah and François Goasdoué. AI Communications (AICOM), 2009.

On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies
02 avril 2012
Meghyn Bienvenu, in Twenty-Sixth Conference on Artificial Intelligence (AAAI)

Query Containment in Description Logics Reconsidered
02 avril 2012
Meghyn Bienvenu, Carsten Lutz, and Frank Wolter, in International Conference on Principles of Knowledge Representation and Reasoning (KR) 2012

Robust Module-based Data Management
01 décembre 2011
F. Goasdoue and M.-C. Rousset, IEEE Transactions on Knowledge and Data Engineering (TKDE), 2011.

SomeRDFS in the Semantic Web
01 janvier 2007
By Philippe Adjiman, François Goasdoué, and Marie-Christine Rousset. Journal on Data Semantics, No 8, pages 158-181, Springer Journal (LNCS 4380), 2007.

View Selection in Semantic Web Databases
18 août 2011
F. Goasdoue, K. Karanasos, J. Leblay, and I. Manolescu, PVLDB, vol. 5, num. 2, 2011.

public repository and tools for collaborative and statistical program and architecture characterization and optimization
cTuning

OWL2 key discovery on RDF datasets
KD2R

TaxoMap Framework
TaxoMap Framework