A Context-based Logic for Distribution Knowledge Representation and Reasoning