FO Rewritability for OMQ using Beth Definability and Interpolation.
David TomanGrant E. WeddellPublished in: Description Logics (2021)
Keyphrases
- expressive power
- first order logic
- description logics
- propositional logic
- conjunctive queries
- transitive closure
- constraint query languages
- query language
- linear interpolation
- fixed point
- relational calculus
- knowledge representation
- relational algebra
- data complexity
- database theory
- finite model theory
- interpolation methods
- semantic web
- query evaluation
- query answering
- knowledge base
- special case
- relational model
- incomplete information
- image interpolation
- database
- query optimization
- high resolution
- expert systems
- artificial intelligence