Nouvelles

Links' News

2020
Mon 14th Dec 2:00 pm 4:00 pm	Soutenance de thèse - Jose-Martin Lozano
Wed 2nd Dec  all day	AAAI 2021 paper accepted by Florent Capelli et. al. Certifying Top-Down Decision-DNNF Compilers
Wed 2nd Dec  all day	AAAI 2021 paper by Mikaël Monet et al. accepted The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits. arXiv: arxiv.org/abs/2007.14045
Fri 13th Nov  all day	PODS 2021 paper accepted Corentin Barloy, Filip Murlak and Charles Paperman Stackless Processing of Streamed Trees paperman.name/data/pub.....d.pdf
Thu 1st Oct  all day	Mikael Monet arrives as Junior Researcher
Thu 1st Oct  all day	Corentin Barloy starts his PhD project
Tue 29th Sep 9:00 am 10:00 am	ANR Project of Florent Capelli accepted. On knowledge compilation
Tue 1st Sep  all day	Arrival of Chérif Ba as engineer
Mon 24th Aug 9:00 am 10:00 am	MFCS paper accepted by Paul Gallot, Aurélin Lemay and Sylvain Salvati: https://hal.inria.fr/hal-02902853
Fri 24th Jul 2:30 pm 4:30 pm	Dr. Momar Sakho defended his PhD.
Mon 6th Jul to Fri 10th Jul  all day	École d'été Kocoon (cancelled) organisée par Florent Capelli, Pierre Marquis, Stefan Mengel, and Pierre Bourhis, à Lille More info at: kocoon.gforge.inria.fr/
Tue 30th Jun  all day	ICALP 2020 paper by Charles Paperman accepted On Polynomial Recursive Sequences ( Michaël Cadilhac, Filip Mazowiecki, Charles Paperman, Michał Pilipczuk and Géraud Sénizergues ) drops.dagstuhl.de/opus.....7.pdf
2019
Mon 16th Dec to Thu 19th Dec  all day	Workshop Kocoon at Arras, organized by Pierre Bourhis, Florent Capelli, Pierre Marquis and Stefan Mengel More info at : kocoon.gforge.inria.fr/
Fri 27th Sep  all day	Mikael Monet visiting
Tue 4th Jun  all day	Arrivée de Fanny Canivet en stage de L3 : "Proof systems based on restricted Boolean circuits"
Fri 10th May 10:00 am 11:00 am	IJCAI'2019 paper by Sophie Tison et al. accepted. In cooperation with Montpellier: Oblivious and Semi-Oblivious Boundedness for Existential Rules” (P. Bourhis, F. Ulliana, M. Leclère, ML Mugnier, S. Tison, L. Gallois).
Mon 22nd Apr  all day	SAT'19 paper by Florent Capelli accepted Knowledge compilation languages as proof systems ,arxiv.org/abs/1903.04039 [ arxiv.org/abs/1903.04039 ]
Fri 12th Apr to Thu 18th Apr  all day	Rustam Azimov from Saint Petersburg visits Links
Mon 1st Apr to Fri 26th Apr  all day	Semyon Grigorev from Saint Petersburg visits Links Semyon is the supervisor of Rustam Azimov. He will work with Sylvain and Joachim Inria Lille
Fri 18th Jan  all day	Visit of Marie-Laure Mugnier and Federico Ulliana from Montpellier Inria 40 Avenue Halley, 59650 Villeneuve-d'Ascq, France
2018
Thu 20th Dec 5:00 pm 6:00 pm	STACS'19 paper by Florent Capelli accepted: "Tractable QBF via Knowledge Compilation" with Stefan Mengel arxiv.org/abs/1807.04263
Fri 16th Nov 11:00 am 12:30 pm	Aurelien Lemay's Habilitation defense IRCICA
Mon 5th Nov 9:00 am 10:00 am	Bruno Guillon arrives: our new postdoc working on distributed databases
Mon 15th Oct to Tue 16th Oct  all day	GT-Alga (Automata, Logic, Games & Algebra) of GDR IM. General meeting in Lille organised by Florent Capelli Inria 40 Avenue Halley, 59650 Villeneuve d'Ascq, France
Mon 17th Sep  all day	Hermino Gonzales, a PhD student from the Oviedo University in Spain, starts a 3 months visit in Links. He will work with Iovka Boneva on SheX
Mon 3rd Sep 11:00 pm 12:00 am	Sławek Staworko's paper on SheX containment got accepted at PODS 2019! arxiv.org/abs/1803.07303
Tue 28th Aug to Fri 31st Aug  all day	CP 2018: 24th International Conference on Principles and Practice of Constraint Programming A major conference on logic in AI origanized in Lille. EuraTechnologies, Lille, France
Mon 27th Aug  all day	Rustam Azimov, a PhD student from Petersburg, starts his 3-months visit of Links. He will work with Sylvain Slavati and Joachim Niehren.
Mon 16th Apr  all day	ICALP'18 paper accepted by Charles Paperman Constrained Topological Sorting by Antoine Amarilli and Charles Paperman arxiv.org/pdf/1707.04310.pdf
Thu 15th Mar  all day	ShEx 2.0 Release of Java Implementation Publication of a first version of the implementation of ShEx 2.0 in java [ github.com/iovka/shex-java | github.com/iovka/shex-java ]
Thu 1st Feb to Thu 8th Feb  all day	Visit of Vincent Penelle, Université de Bordeaux
Tue 16th Jan  all day	Visit of Yann Strozecki, Université de Versailles
Mon 8th Jan  all day	Arrival of Jérémie Dusard Jérémie will work as an engineer on ShEx with Iovka Boneva
Wed 3rd Jan 10:00 am 11:00 am	I. Boneva published a book published with the W3C on schemas validation for the semantic Web www.morganclaypool.com/.....BE016
2017
Tue 19th Dec 5:00 am 6:00 am	Annual report of Links 2017 is ready. irabot.inria.fr/RA2017/links/links.pdf
Mon 4th Sep 5:00 pm 6:00 pm	ISWC 2017 paper accepted By Iovka Boneva, Jose E. Labra Gayo, Eric G. Prud'hommeaux: Semantics and Validation of Shapes Schemas for RDF hal.archives-ouvertes.fr/hal-01590350
Wed 30th Aug 11:00 am 12:00 pm	Arrival of Florent Capelli as associate professor in Links
Mon 28th Aug 11:00 am 12:00 pm	Arrival of Charles Paperman as associate professor in Links
Tue 16th May  all day	Medal "Palme Academique" for Sophie Tison by the Université de Lille 1
Tue 9th May  all day	ICALP best paper award Pierre Bourhis' paper with Oxford (Benedikt and Vanden Boom) in Track B of ICALP'17 won the best paper award! Warsaw, Poland
Wed 3rd May  all day	DLT'17 paper accepted Vincent Hugot, Adrien Boiret, and Joachim Niehren: Equivalence of Symbolic Tree Transducers Liege, Belgium
Sat 22nd Apr  all day	IJCAI'17 paper accepted Sophie Tison and Pierre Bourhis with Montpellier (Bienvenu, Mugier, Ulliana): Ontology-Mediated Query Answering for Key-Value Stores Melbourne
Sat 22nd Apr  all day	IJCAI'17 paper accepted Pierre Bourhis with Vienna (Morak and Pieris): Making Cross Products and Guarded Ontology Languages Compatible Melbourne
Fri 14th Apr  all day	ICALP'17 paper accepted Pierre Bourhis with Oxford (Benedikt and Vanden Boom): Characterizing Definability in Decidable Fixpoint Logics Warsaw
Fri 14th Apr  all day	ICALP'17 paper accepted Nicolas Bacquey with Etienne Grandjean (Caen) and Frédéric Olive (Marseille): Definability by Horn formulas and linear time on cellular automata Warsaw
Fri 14th Apr  all day	ICALP'17 paper accepted Pierre Bourhis with Amarilli (Telecom Paristec), Jachiet (Lens) and Mengel (Lens): A Circuit-Based Approach to Efficient Enumeration Warsaw
Fri 31st Mar  all day	Edinburgh-Links exchange projet accepted Funded by University of Lille. Coordinator: Slawek Staworko
Fri 31st Mar  all day	Lille-Oxford cooperation project accepted Funded by University of Lille. Contact: Pierre Bourhis
Thu 2nd Feb  all day	STACS'17 paper accepted Sylvain Salvati with Bordeaux (Gallot, Musholl, and Puppis): On the decomposition of finite-valued streaming string transducers
2016
Sun 28th Aug  all day	Paper accepted at PODS’17 Pierre Bourhis, Domagoj Vrgoc (Santiago di Chile), ...

← −−  −  10 50 100 + ++ →

Team presentation

The appearance of linked data on the web calls for novel database management technologies for linked data collections. The classical challenges from database research need to be now raised for linked data: how to define exact logical queries, how to manage dynamic updates, and how to automatize the search for appropriate queries. In contrast to mainstream linked open data, the LINKS project will focus on linked data collections in various formats, under the assumption that the data is correct in most dimensions. The challenges remain difficult due to incomplete data, uninformative or heterogeneous schemas, and the remaining data errors and ambiguities. We will develop algorithms for evaluating and optimizing logical queries on linked data collections, incremental algorithms that can monitor streams of linked data and manage dynamical updates of linked data collections, and symbolic learning algorithms that can infer appropriate queries for linked data collections from examples.

Research themes

We will develop algorithms for answering logical querying on heterogeneous linked data collections in hybrid formats, distributed programming languages for managing dynamic linked data collections and workflows based on queries and mappings, and symbolic machine learning algorithms that can link datasets by inferring appropriate queries and mappings. Our main objectives are structured as follows:

• Querying heterogeneous linked data. We will develop new kinds of schema mappings for semi- structured datasets in hybrid formats including graph databases, rdf collections, and relational databases. These induce recursive queries on linked data collections for which we will investigate evaluation algo- rithms, static analysis problems, and concrete applications.
• Managing dynamic linked data. In order to manage dynamic linked data collections and workflows, we will develop distributed data-centric programming languages with streams and parallelism, based on novel algorithms for incremental query answering, will study the propagation of updates of dynamic data through schema mappings, and will investigate static analysis methods for linked data workflows.
• Linking graphs. Finally, we will develop symbolic machine learning algorithms, for inferring queries and mappings between linked data collections in various graphs formats from annotated examples.

International and industrial relations

• Stream Processing: QuiXTools (with Innovimax)
• FUI Hermes