基于描述逻辑的 EER 模型检测

• 作者: 陈振庆
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 描述逻辑 SHOIN(D) 知识库 ER 模型 EER 模型
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 39-42
• 页数: 4页
• 分类号: TP182
• 字数: 4992字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2016.08.009

摘要

首先分析基于描述逻辑的 ER 模型的研究现状，提出基于描述逻辑 SHOIN（D）的 EER 模型，给出描述逻辑 SHOIN（D）的语法和语义。然后研究 EER 模型的 SHOIN（D）描述形式，以及如何将 EER 模型向 SHOIN（D）知识库转化。最后给出 EER 模型可满足性、冗余性判定定理，证明了这些推理问题的正确性，并利用 pellet 推理机实现了 EER 模型可满足性和冗余性推理。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈振庆	贺州学院机械与电子工程学院	15	87	6.0	9.0