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

Description Logic-Based Representation and Reasoning for ODMG Data Model

作　　者：刘海[1] 汤庸[1] 陈启买[1] 

机构地区：[1]华南师范大学计算机学院,广东广州510631

出　　处：《华南师范大学学报（自然科学版）》2012年第4期45-51,共7页Journal of South China Normal University(Natural Science Edition)

基　　金：国家自然科学基金项目(60970044);广东省科技计划项目(2009B090300326)

摘　　要：在描述逻辑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 consid- ered, 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.

关 键 词：描述逻辑 数据模型 对象数据库 ALCQI(D) 

分 类 号：TP302[自动化与计算机技术—计算机系统结构] TP311[自动化与计算机技术—计算机科学与技术]