Search Results for author:
Found 7 papers, 2 papers with code
Query Answering with Transitive and Linear-Ordered Data
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 distinguished relations.
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits
Under the same assumption, we present a pseudo polynomial-time algorithm that transforms $C$ into a d-DNNF circuit $C'$ satisfied exactly by the models of $C$ having a value among the top-$k$ ones.
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
We prove 2NEXPTIME-completeness and extend this result to monadic disjunctive Datalog and to OMQs.
Oblivious and Semi-Oblivious Boundedness for Existential Rules
We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure, that is independent from the initial instance.
Constant-Delay Enumeration for Nondeterministic Document Spanners
We refute this and show that, given a nondeterministic sequential VA and an input document, we can enumerate the mappings of the VA on the document with the following bounds: the preprocessing is linear in the document size and polynomial in the size of the VA, and the delay is independent of the document and polynomial in the size of the VA.
Reasoning about disclosure in data integration in the presence of source constraints
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.
Constant-Delay Enumeration for Nondeterministic Document Spanners
We refute this and show that, given a nondeterministic sequential VA and an input document, we can enumerate the mappings of the VA on the document with the following bounds: the preprocessing is linear in the document size and polynomial in the size of the VA, and the delay is independent of the document and polynomial in the size of the VA.
