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]