Conference item icon

Conference item

Stable Model Semantics for Guarded Existential Rules and Description Logics

Abstract:

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, and thus provide a natural and decidable stable model semantics to description logics such as ELHI and DL-LiteR

Actions


Authors


Georg Gottlob More by this author
André Hernich More by this author
Clemens Kupke More by this author
Thomas Lukasiewicz More by this author
Publisher:
AAAI Press
Publication date:
2014-07-01
URN:
uuid:7d92271e-c78b-4707-aca6-4bc569f76644
Local pid:
cs:8443

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP