Compression of Probabilistic XML Documents -- Query Answering in Belief Logic