Description logic based consistency checking upon data mining metadata

Authors:
Xiaodong Zhu;Zhiqiu Huang;Guohua Shen
Affiliations:
College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, P.R. China;College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, P.R. China;College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, P.R. China
Venue:
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Year:
2008

Citing 6
Cited 1

A Formal Framework for Reasoning on UML Class Diagrams

ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Information intelligence: metadata for information discovery, access, and integration

Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Identification constraints and functional dependencies in description logics

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A tableaux decision procedure for SHOIQ

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Conceptual modeling for classification mining in data warehouses

DaWaK'06 Proceedings of the 8th international conference on Data Warehousing and Knowledge Discovery
A formal framework for reasoning on metadata based on CWM

ER'06 Proceedings of the 25th international conference on Conceptual Modeling

An extended predictive model markup language for data mining

WAIM'10 Proceedings of the 11th international conference on Web-age information management

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.