Stable Model Semantics for Guarded Existential Rules and Description Logics

Open in new window