A Faithful Translation from Relational Databases to Description Logic

For designing Entity-relationship(ER) schemas, an interesting topic is how to transform ER schemas into knowledge bases (KBs) in description logics (DLs). It is significance in translations that one can use automated DL reasoning services to support the development and maintenance of correct ER schemas. This paper proposed a faithful translation, which translates ER schemas into KBs in the description logic ALDL and allows us to reduce reasoning on ER schemas to finite models reasoning on ALDL KBs.