wiki_research

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

omqa (733B)


      1 # Ontology-Mediated Query Answering (OMQA)
      2 
      3 definition:
      4 - given an [instance] I and [query] Q and [logical_constraints] Sigma
      5 - does every [superinstance] of I satisfying Sigma also satisfy Q?
      6 
      7 subtlety: [omqa_finite] vs [omqa_unrestricted]
      8 
      9 OMQA and [counting]: [bienvenu2022complexity]
     10 
     11 Approaches:
     12 - [chase]: materializing the entailed facts
     13   - the result of the chase may be finite ([chase_termination]) or infinite
     14   - it may have [bounded_treewidth]
     15 - [query_rewriting]
     16   - can be to different [query_languages]:
     17     - to [UCQs]
     18       - when you have [bounded_derivation_depth]
     19     - to [Datalog]
     20 
     21 OMQA with [transitive_relations]: [OMQA_transitive]
     22 
     23 Up: [database_theory]
     24 
     25 See also: [description_logics], [BDD_FC_conjecture]