wiki_research

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

omqa (343B)

      1 # Ontology-Mediated Query Answering (OMQA)
      2 
      3 definition:
      4 - given an [instance] I and [query] Q and [logical_constraint]s 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 Up: [database_theory]
     12 
     13 See also: [description_logics]