Stable Model Semantics for Guarded Existential Rules and Description Logics
<p>We tackle a long-standing open research problem and prove the decidability of query answering under the stable model semantics for guarded existential rules, where rule bodies may contain negated atoms, and provide complexity results. The results extend to guarded Datalog+⁄− with negation,...
| Үндсэн зохиолчид: | , , , |
|---|---|
| Формат: | Conference item |
| Хэвлэсэн: |
AAAI Press
2014
|