一种描述逻辑与DL—safe规则复合逻辑中的规则抽取方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:uto
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
OWL本体描述语言包含相对丰富的概念定义符,但提供的关系定义符描述能力则较差.将OWL与规则相结合是克服这种表达能力限制的一种常用方法.Motik提出了一种可判定的方法,将SHIQ(D)描述逻辑与规则结合,所结合的规则限定在一种叫做DL-safe规则的范围内.本文提出了一种抽取DL-safe规则的方法,方法利用SHIQ(D)逻辑中的UNION定义符满足一些规则在前件中包含析取逻辑运算符的需求,从而扩展了规则的描述能力.
其他文献
本文给出了一个MPEG视频传输控制的模型,模型中由若干个令牌桶和一个复用器来控制视频流的传输,并给出了表示该系统各状态的差分方程及其性能评价的代价函数,在此基础上,提出
印制板中阻焊显影工序,是将网印后有阻焊的印制板。用照像底版将印制板上的焊盘覆盖,使其在曝光中不受紫外线的照射,而阻焊保护层经过紫外光照射更加结实的附着在印制板面上。焊
在Windows的很多应用程序中,当执行到一个要花费很长时间的任务时,往往会出现一个进度条,以表示当前任务执行到的位置,并用图形形象地表示出来.PowerBuilder是大家公认的、最
随着科学技术的进步,现已进入互联网时代。互联网技术为我们的生活带来翻天覆地的变化。网络丰富的资源和信息化技术,使各行各业焕发新的生命力。编辑是从事文化活动的代表,
目的观察留置泪道引流管对慢性泪囊炎患者鼻内镜下泪囊鼻腔吻合术(EDCR)疗效的影响。方法选取慢性泪囊炎患者98例(98只眼),所有患者均接受EDCR手术,以术中植入泪道引流管为依
产品生命周期评价(LCA)是实现可持续发展和环境管理的重要方法.由于LCA涉及的空间范围广、时间跨度长、数据主题区域多,使得LCA软件系统在数据一致性、系统集成性、决策及时
目的观察改良早期预警评分(MEWS)+柔性管理在急性有机磷中毒(AOPP)患者救护中的应用效果。方法选取我院AOPP患者78例(2017年4月至2020年4月),按照入院顺序不同分为观察组、对
摘要:一堂课是否能够上得成功,上得精彩,课堂的引入不可忽视,那么数学教学引入应注意哪些问题呢?笔者认为:教学i入应以学为主、数学引入应遵循数学学习的认知规律、教学引入应体现知识形成中的数学思维方法、教学引入形式应多样化。关键词:数学引入;以学为主;认知规律;数学思维中图分类号:G623.5 文献标识码:A 文章编号:1006-3315(2010)8-059-001“好的开始是成功的一半。”一堂课是
如何构建满足创业教育需求的实践教育体系是当前高校创新创业教育亟待解决的课题。本研究的目标是构建基于"意识-能力-实践"贯通的分层递阶的创业实践教育体系,搭建增强创业