文件名称：基于描述逻辑的ODMG对象数据模型表示与推理 (2012年)
文件大小：393KB
文件格式：PDF
更新时间：2024-06-19 23:13:09
自然科学 论文
在描述逻辑ALCQI( D)基础上,将ODMG面向对象数据模型转换为描述逻辑ALCQI( D)表示的知识库,借助描述逻辑ALCQI( D)的推理能力,将面向对象数据模型的类可满足性、类包含关系、类冗余性、模式蕴含性等验证问题转化为相应知识库的推理问题,并证明这些推理问题的正确性.
基于描述逻辑的ODMG对象数据模型表示与推理 (2012年)
【文件属性】：