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

• 作者: 刘海 汤庸 陈启买
• 来源期刊: 华南师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 描述逻辑 数据模型 对象数据库 ALCQI(D)
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 研究报告
• 页码范围: 45-51
• 页数: 7页
• 分类号: TP302|TP311
• 字数: 9013字
• 语种: 中文
• DOI: 10.6054/j.jscnun.2012.09.009

摘要

在描述逻辑ALCQI(D)基础上,将ODMG面向对象数据模型转换为描述逻辑ALCQI(D)表示的知识库,借助描述逻辑ALCQI(D)的推理能力,将面向对象数据模型的类可满足性、类包含关系、类冗余性、模式蕴含性等验证问题转化为相应知识库的推理问题,并证明这些推理问题的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈启买	华南师范大学计算机学院	66	542	14.0	19.0
2	刘海	华南师范大学计算机学院	42	343	12.0	17.0
3	汤庸	华南师范大学计算机学院	92	593	13.0	19.0