On the Representation of Causal Background Knowledge and its Applications in Causal Inference