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 DLR\(_{\cal{DM}}\) in the description logic family is proposed. Subsequently, a formal reasoning method based on DLR\(_{\cal{DM}}\) is designed to automatically check the consistency of data mining metadata. With the description logic DLR\(_{\cal{DM}}\), 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
KDD 2006 Workshop on Data Mining Standards, Services and Platforms (2006), http://www.ncdm.uic.edu/dm-ssp-06.htm
Object Management Group: Common Warehouse Metamodel Specification, Version 1.1 (2001), http://www.omg.org
Zhao, X., Huang, Z.: A Formal Framework for Reasoning on Metadata Based on CWM. In: Embley, D.W., Olivé, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 371–384. Springer, Heidelberg (2006)
Hauch, R., Miller, A., Cardwell, R.: Information Intelligence: Metadata for Information Discovery, Access, and Integration. In: 2005 ACM SIGMOD International Conference on Management of Data, Baltimore, USA, pp. 793–798 (2005)
Cali, A., Calvanese, D., Giacomo, G.D.: A formal framework for reasoning on UML class diagrams. In: Hacid, M.-S., Raś, Z.W., Zighed, A.D.A., Kodratoff, Y. (eds.) ISMIS 2002. LNCS (LNAI), vol. 2366, pp. 503–513. Springer, Heidelberg (2002)
Zubcoff, J., Trujillo, J.: Conceptual Modeling for classification mining in Data Warehouses. In: Tjoa, A.M., Trujillo, J. (eds.) DaWaK 2006. LNCS, vol. 4081, pp. 566–575. Springer, Heidelberg (2006)
Calvanese, D., Giacomo, G.D., Lenzerini, M.: Identification Constraints and Functional Dependencies in Description Logics. In: 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), Washington, pp. 155–160 (2001)
Horrocks, I., Sattler, U.: A Tableaux decision procedure for SHOIQ. In: 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) (2005)
Haarslev, V., Moller, R., Wessel, M.: RacerPro Version 1.9 (2005), http://www.racer-systems.com
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhu, X., Huang, Z., Shen, G. (2008). Description Logic Based Consistency Checking upon Data Mining Metadata. In: Wang, G., Li, T., Grzymala-Busse, J.W., Miao, D., Skowron, A., Yao, Y. (eds) Rough Sets and Knowledge Technology. RSKT 2008. Lecture Notes in Computer Science(), vol 5009. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79721-0_65
Download citation
DOI: https://doi.org/10.1007/978-3-540-79721-0_65
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79720-3
Online ISBN: 978-3-540-79721-0
eBook Packages: Computer ScienceComputer Science (R0)