Enhanced entity-relationship modeling with description logic

Based on the high expressive powers and effective reasoning services of description logics (DLs, for short), DLs have been employed in data modeling to support the development and maintenance of data models. The basic idea is that once the correspondences between data models and DLs can be established, reasoning techniques from DLs become applicable to the reasoning of data models.This paper proposes a complete DL approach for representing and reasoning on EER (Enhanced Entity-Relationship) models. We develop an equivalence-preserving transformation approach and a prototype tool for transforming an EER model into a DL knowledge base, and propose methods to reduce reasoning on the EER model to reasoning on the transformed DL knowledge base. As one result, the reasoning capabilities of the DL can provide the basic reasoning services that are needed in EER modeling. In detail, we firstly propose a formal definition and semantic interpretation method of EER models, which summarizes and includes all features of EER models. Then  , by analyzing the features of EER models, a DL called ALCQIKALCQIK is presented as the language of representing and reasoning on EER models. On this basis  , we propose an approach for transforming EER models into ALCQIKALCQIK knowledge bases. The correctness of the transformation is proved and a transformation example is provided. Further, a prototype transformation tool is implemented. Case studies show that our approach and prototype tool actually work. Finally  , based on the transformed ALCQIKALCQIK knowledge bases, we propose methods to reduce reasoning on EER models to reasoning on the transformed ALCQIKALCQIK knowledge bases.