Rules Acquisition and Attribute Reduction of Ordered Formal Decision Contexts