Model-theoretic Characterizations of Existential Rule Languages.

Heng Zhang Yan Zhang Guifei Jiang

Published in: CoRR (2020)

Keyphrases

model theoretic
deductive databases
description logics
operational semantics
decision procedures
proof theoretic
probabilistic reasoning
default reasoning
fixpoint semantics
dl lite
fixpoint
logic programs
query answering
graphical models
hidden markov models
relational databases
machine learning