Section: New Results
Querying Heterogeneous Linked Data
Data Integration and Schema Validation
Data integration requires knowledge about the structure of the various data. Such a structure is usually described by schemas. While for relational databases, schemas are hard-coded, this is not the case for many other formats. In XML for instance, several schema formalisms exists, such as DTD, XML Schema or Schematron. The Links Project-Team investigate the problem of defining schemas and use them to data, in particular for RDF and JSON Formats.
With P. Wieczorek of the University of Wroclaw, Poland, S. Staworko et al. have studied the containment problem of ShEx schemas for RDF documents in PODS .
Also, J. Dusart develops under the supervision of I. Boneva and S. Staworko the software ShEx Validator so as to foster the practical usage of ShEx. It is also worth noting that ShEx is now being adopted by several institutions such as WikiData.
Aggregation refers to computations that are alien to mere logical data manipulation (e.g. such as in relational algebra). Typically, aggregation means counting the number of answers, or performing other kinds of statistics. We have a slightly larger understanding as we may also include enumerating all answers with a small delay. Aggregation algorithms are generally subtle as they in most cases avoid the explicit generation of the whole set of answers. We study aggregation problems within the ANR project Aggreg coordinated by Niehren.
In the same spirit, Capelli et al. (in a joint work with Mengel from the CNRS in Lens) showed at STACS  a new knowledge compilation procedure which allows a polynomial algorithm to test the satisfiability quantified Boolean formulas with bounded tree width. In Theory of Computing Systems, , Capelli also gave a taxonomy of results according to various restrictions of tree-width of graphs.
Also, in Theory of Computing Systems, , Capelli gave a taxonomy of results according to various restrictions of tree-width of graphs.
Finally, in an article in JCSS , F. Capelli (with Bergougnoux and Kanté from Bordeaux and Clermont-Ferrand) propose an algorithm for counting the number of transversals (i.e. subset of nodes intersecting all hyperedges) in some hypergraphs.
Certain Query Answering
When data is incomplete, logical constraints and knowledge about its intended structure help to infer the answers of queries. This inference problem is known as certain query answering.
L. Gallois and S. Tison  presented in IJCAI - one of the main conferences of Artificial Intelligence. L. Gallois and S. Tison study boundedness of the chase procedure in the context of positive existential rules, providing decidability results for several classes and outlining the complexity of the problem. This work is done in collaboration with P. Bourhis and Graphik team-project. These results also belong to the PhD thesis of L. Gallois  supervised by S. Tison and P. Bourhis.