基于描述逻辑的ODMG对象数据模型表示与推理

摘要

在描述逻辑ALCQI(D)基础上,将ODMG面向对象数据模型转换为描述逻辑ALCQI(D)表示的知识库,借助描述逻辑ALCQI(D)的推理能力,将面向对象数据模型的类可满足性、类包含关系、类冗余性、模式蕴含性等验证问题转化为相应知识库的推理问题,并证明这些推理问题的正确性.%The formal representation of ODMG data model is studied, which used description logics ALCQI(D) to translate ODMG data model schema into ALCQI(D) knowledge base. The related reasoning problems are considered, such as satisfiability, subsumption, redundancy and implication relation in ODMG data model. It is proved that such problems can be automatically fulfilled through reasoning mechanism of description logic ALCQI( D) , and the correctness of those reasoning is proved.