Clemens Kupke

Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity

2021 · Journal of the ACM

This work investigates the decidability and complexity of database query answering under guarded existential rules with nonmonotonic negation according to the classical stable model semantics. In this setting, existential quantification is interpreted via Skolem functions, …