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

EER MODEL CHECKING BASED ON DESCRIPTION LOGIC

作　　者：陈振庆[1] Chen Zhenqing(Department of Mechanics and Electronics Engineering, Hezhou University, Hezhou 542899 , Guangxi, China)

机构地区：[1]贺州学院机械与电子工程学院,广西贺州542899

出　　处：《计算机应用与软件》2016年第8期39-42,共4页Computer Applications and Software

基　　金：广西自然科学基金项目(2014GXNSFBA118278)

摘　　要：首先分析基于描述逻辑的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 formof SHOIN( D) in EER model, and the way of how to translate EER model into description logic SHOIN( D) knowledge bases. Finally we gavethe judgement theorem of the satisfiability and redundancy of EER model, proved the correctness of these reasoning problems, and employedthe pellefs inference mechanism to achieve the reasoning of satisfiability and redundancy in EER model.

关 键 词：描述逻辑SHOIN(D) 知识库 ER模型 EER模型 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]