Description Logic Based Consistency Checking upon Data Mining Metadata
During the process of constructing data mining metadata,the evolution of data mining techniques,the different experiences and views of related organizations inevitably cause inconsistencies.However,current data mining metadata lacks precise semantic due to their description with natural language and graphs,so the automatic consistency checking upon them has not been resolved well.In this paper,a formal logic DLRDM in the description logic family is proposed.Subsequently,a formal reasoning method based on DLRDM is designed to automatically check the consistency of data mining metadata.With the description logic DLRDM,formalization upon the metamodel and metadata of data mining is analyzed in detail.The reasoning engine Racer is applied into the method to check the consistency upon the data mining metadata.Results on the RacerPro reasoning system indicate the method is encouraging.
Automated reasoning Data mining Metadata Consistency checking Knowledge representation
Xiaodong Zhu Zhiqiu Huang Guohua Shen
College of Information Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing,210016,P.R.China
国际会议
成都
英文
475-482
2008-05-17(万方平台首次上网日期,不代表论文的发表时间)