no code implementations • 9 Mar 2020 • Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
Testing containment of queries is a fundamental reasoning task in knowledge representation.
1 code implementation • 5 Mar 2020 • Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
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.
1 code implementation • 24 Jul 2018 • Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
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.