During the process of constructing data mining metadata, it is usually hard to discover conflicts in the metadata. However, the automatically discovering conflicts of data mining metadata have not been resolved well up to now. The main contributing of this paper can be divided into two parts. One is proposing how to construct AR-DMM based on the formal logic DLRDM, which is proposed in the earlier research. The process of constructing ARDMM is analyzed in detail. The other is presented an algorithm for constructing knowledge discovery metadata with automatic reasoning based on DLRDM.