Sticky Existential Rules and Disjunction are Incompatible.

Michael Morak

Browse the full KR paper archive.