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

摘要

首先分析基于描述逻辑的 ER 模型的研究现状，提出基于描述逻辑 SHOIN（D）的 EER 模型，给出描述逻辑 SHOIN（D）的语法和语义。然后研究 EER 模型的 SHOIN（D）描述形式，以及如何将 EER 模型向 SHOIN（D）知识库转化。最后给出 EER 模型可满足性、冗余性判定定理，证明了这些推理问题的正确性，并利用 pellet 推理机实现了 EER 模型可满足性和冗余性推理。%We first analysed current status of description logic-based ER model researches,and presented the description logic SHOIN (D)-based EER model,as well as put forward the syntax and semantics of description logic SHOIN(D).Then we studied the describing form of SHOIN(D)in EER model,and the way of how to translate EER model into description logic SHOIN(D)knowledge bases.Finally we gave the judgement theorem of the satisfiability and redundancy of EER model,proved the correctness of these reasoning problems,and employed the pellet’s inference mechanism to achieve the reasoning of satisfiability and redundancy in EER model.