4 papers · 1 filter
Query Answering with Transitive and Linear-Ordered Data
Antoine Amarilli, Michael Benedikt, Pierre Bourhis +1
We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of d…
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Pierre Bourhis, Carsten Lutz
We study query containment in three closely related formalisms: monadic disjunctive Datalog (MDDLog), MMSNP (a logical generalization of constraint satisfaction problems), and onto…
Balancing expressiveness and inexpressiveness in view design
Michael Benedikt, Pierre Bourhis, Louis Jachiet +1
We study the design of data publishing mechanisms that allow a collection of autonomous distributed datasources to collaborate to support queries. A common mechanism for data publi…
Reasoning about disclosure in data integration in the presence of source constraints
Michael Benedikt, Pierre Bourhis, Louis Jachiet +1
Data integration systems allow users to access data sitting in multiple sources by means of queries over a global schema, related to the sources via mappings. Data sources often co…