wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

owqa_frontier_one_fds (269B)

      1 # OWQA with frontier one TGDs and FDs
      2 
      3 In [amarilli2015combining] Theorem 5.1:
      4 - [undecidability] with [frontier_one] [linear_TGDs] and [unary_FDs]
      5 - just because of [variable_repetition] in the [head]
      6 
      7 Up: [open_world_query_answering_fds], [frontier_one], [unary_FDs]