Distributive Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis