Model-theoretic Characterizations of Existential Rule Languages.
Heng ZhangYan ZhangGuifei JiangPublished in: IJCAI (2020)
Keyphrases
- model theoretic
- deductive databases
- description logics
- operational semantics
- proof theoretic
- decision procedures
- dl lite
- logic programs
- default reasoning
- fixpoint
- fixpoint semantics
- probabilistic reasoning
- query answering
- databases
- modal logic
- integrity constraints
- logic programming
- constraint logic programming
- object oriented
- artificial intelligence