Description-Logic-Based Temporal ER Model with Attribute Dependencies

ER model with attribute dependencies may be translated into description logic ALCQI(D) knowledge bases, and the reasoning on ER model with attribute dependencies may be reduced to model reasoning on ALCQI(D) knowledge bases. The current research progresses and the existing problems of description logic for data bases, especially the relationship between the description logic and the temporal ER model, are analyzed. The formal definition of the temporal ER model with attribute dependencies εR\-\VTAD\ is presented based on the work of Artale. Aiming at the characteristics and requirement of the temporal ER model with attribute dependencies εR\-\VTAD\, a kind of new description logic, i.e., the temporal description logic ALCQI(D)\-\US\, is presented. The temporal description logic ALCQI(D)\-\US\ is the temporal extension of description logic ALCQI(D) through temporal logic, and the syntax and semantics of ALCQI(D)\-\US\ are given. The ALCQI(D)\-\US\-based temporal ER model with attribute dependencies is presented, how to translate temporal ER model with attribute dependencies εR\-\VTAD\ into temporal description logic ALCQI(D)\-\US\ knowledge bases is studied, and the reasoning problem of satisfiability, redundancy, subsumption relationship, and implication relationship of temporal ER model with attribute dependencies εR\-\VTAD\ may reason automatically through reasoning mechanism of temporal description logic ALCQI(D)\-\US\, and the correctness of these reasoning problems is proved.