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

来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户:lingang89029
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
首先分析基于描述逻辑的ER模型的研究现状,提出基于描述逻辑SHOIN(D)的EER模型,给出描述逻辑SHOIN(D)的语法和语义。然后研究EER模型的SHOIN(D)描述形式,以及如何将EER模型向SHOIN(D)知识库转化。最后给出EER模型可满足性、冗余性判定定理,证明了这些推理问题的正确性,并利用pellet推理机实现了EER模型可满足性和冗余性推理。
其他文献
本研究以北方粳稻为材料,采用盆栽试验,研究了在轻度镉污染土壤中施用不同量炭对水稻生长发育及其净光合速率的影响。结果表明:在镉污染土壤中施用炭能够提高光合速率,增加干
为开发能有效预防煤炭自燃的阻化剂,提高阻化效果,减小阻化剂对煤矿机械的腐蚀作用,系统研究阻化剂中添加缓蚀剂与润湿剂的种类、浓度对阻化效果的影响。利用着火活化能方法
目的:研究哮喘患者膳食营养素摄入与肺功能的相关性。方法选取哮喘患者130例,健康对照组60例。采用半定量食物频率问卷调查哮喘患者及健康对照组近3个月饮食中14种营养素摄入量
选取市场上某型号无级变速器的金属带产品,通过金相显微镜、扫描电镜、能谱分析、XRD等试验研究,获得了该金属带钢环组和摩擦片的组织成分。结果表明:该摩擦片是一种合金元素
为加强校园的安全防范建设,设计了一个智能消防监控系统。采用最新的ZigBee技术的构建了无线传感器网络,感知并传输数据;实现了通过GSM技术实进行异常信号的报警;设计了基于V
随着科学技术的飞速发展,现在的智能化技术被广泛应用在各行各业,而在卫浴产品的设计中也引入了人工智能化技术。人工智能化的技术在卫浴产业的应用为社会的发展有着极为积极
为快速、准确地实现前围隔音垫选型,提升车内声学品质,展开研究。以声腔传递函数原理为理论基础,以整备车身为测试环境,通过理论分析和精准测试,明确3款不同材质的前围隔音垫
随着我国社会经济的不断发展,广播电视产业也得以迅速发展,其规模也在发展过程中不断扩大。与此同时,也带来了一系列的安全播出问题。广播电视产业的发展稳定已经成为新时期
分析了河西走廊石羊河流域用水区降水的年际时空分布和演化规律,用潜在蒸散、气候干旱指数、蒸降差计算了不同流域段的水分平衡收支情况。结果表明,20世纪80~90年代降水呈增
核心素养的研究是当今的热潮.研究中考试题对核心素养的评价,对教师在平时的教学中如何落实核心素养,具有很强的现实意义.下面就一道中考压轴题为例,谈谈践行核心素养的一些