基于描述逻辑的EER模型检测-计算机应用与软件.PDFVIP

第３３卷第８期　　　 计算机应用与软件 Ｖｏｌ３３Ｎｏ．８ ２０１６年８月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ａｕｇ．２０１６ 基于描述逻辑的ＥＥＲ模型检测 陈 振 庆 （贺州学院机械与电子工程学院　广西贺州５４２８９９） 摘　要　　首先分析基于描述逻辑的ＥＲ模型的研究现状，提出基于描述逻辑ＳＨＯＩＮ（Ｄ）的ＥＥＲ模型，给出描述逻辑ＳＨＯＩＮ（Ｄ）的 语法和语义。然后研究ＥＥＲ模型的ＳＨＯＩＮ（Ｄ）描述形式，以及如何将ＥＥＲ模型向ＳＨＯＩＮ（Ｄ）知识库转化。最后给出ＥＥＲ模型可 满足性、冗余性判定定理，证明了这些推理问题的正确性，并利用ｐｅｌｌｅｔ推理机实现了ＥＥＲ模型可满足性和冗余性推理。 关键词　　描述逻辑ＳＨＯＩＮ（Ｄ）　知识库　ＥＲ模型　ＥＥＲ模型 中图分类号　ＴＰ１８２　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１６．０