Decidability of Querying First-Order Theories via Countermodels of Finite Width.
Thomas FellerTim S. LyonPiotr Ostropolski-NalewajaSebastian RudolphPublished in: CoRR (2023)
Keyphrases
- unions of conjunctive queries
- theory revision
- data exchange
- query language
- conjunctive queries
- query answering
- linear temporal logic
- description logics
- answering queries
- probabilistic databases
- databases
- equational theories
- decision procedures
- finite number
- logical theories
- transitive closure
- knowledge base
- higher order
- database
- first order logic
- multimedia databases
- computational models
- stochastic dominance
- theoretical framework
- concept learning
- quantifier elimination
- action theories
- database querying
- logic programs
- data integration
- real numbers
- relational databases
- domain theory
- classical first order logic