基于本体和描述逻辑的SWRL推理研究

来源 :广西师范大学 | 被引量 : 11次 | 上传用户:gjb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Web是计算机时代来临的标志之一,Web是互联网络最重要的、与普通用户最接近的运用,现在已成为人类获取信息及得到众多服务的主要渠道之一,但是Web并非完美,仍存在许多尚待解决的问题,比如Web信息无法被自动处理和有效利用、Web的服务发现、匹配、检索的查全率和查准率较低。搜索时我们使用Web作为一个全球数据库。今天的搜索引擎无法搜索地更加精确。主要原因可能是当前的Web的结构和尺寸不允许使搜索更加精确和高效。可第二个原因不能被忽视:现在Web蕴含着巨大的文件数量,而且这个数量有每一年或两年翻一番的趋势。文件的机构和Web自身可能也会以一种机器更容易处理的方式改变,所以我们使用语义网。1998年9月,Berners-Lee首次提出了语义网的设想,语义网在技术上提供了信息的语义表示机制,其最终要实现知识层次上的信息共享和语义的互操作,所以想要管理共享知识就要以本体为指导。在语义网中,本体起到非常重要的作用,它作为语义网信息组织的语义支撑,提供了明确定义语义的方式,为语义标记提供了词表。在本体中,有不少重要知识反而是隐性的,这引发对本体自身利用率不高的问题,所以推理出本体中隐含的知识成为了当今本体研究方面的热点。基于描述逻辑的知识表示系统能够完成特定种类的推理,知识表示系统的目的,超出了概念定义和判断的范围,知识库(包含TBox和ABox)中的语义,使得知识库和一阶谓词逻辑中的公式集合等价,这样,像其他的公式集合一样,知识库包含那些要通过表面的知识的推理才能得到的内涵的知识。描述逻辑系统所能使用的不同种类的推理被定义为逻辑推理,存在一个主要的推理问题,叫作ABox的一致性检查,其他的推理都可以由它还原(reduce)出来。本体描述语言OWL DL(以描述逻辑为基础)能提供语言子集用于支持推理系统实现它的计算性能,却不能表达普通的规则。之前基于本体建立的推理系统只有以类别为基础附加关联性的推理能力,但对于If... Then这样的关系反而推理能力不够充足。为了解决以上问题,SWRL(语义网规则语言)被提出,通过本体结合规则的方式来提供更强大充分的知识表示能力和推理能力。SWRL (Semantic Web Rule Language)是一种基于OWL子语言(OWL DL和OWL Lite)与一元/二元数据记录RuleML的子语言结合而成的规则语言。SWRL允许用户自己根据OWL概念写可以被表达的规则,以此来提供比单独使用OWL更为强大的演绎推理能力,从语义上SWRL与OWL是基于相同的描述逻辑基础。本文借鉴国内外的最新研究成果,使用SWRL规则,我们建立了一个家庭本体的推理机制,它将帮助我们推导出家庭本体中原本隐含的关系和知识,使得新本体在概念间的语义联系更加丰富。
其他文献
明晰化(explicitation),又称显化,即通过更明显的方式来表达源文本的信息,从而使得译文更清晰,更能为译文读者所接受。明晰化是翻译过程中的一种普遍现象,也是翻译过程中常用
当前,供给侧改革的目标是从生产端入手将经济增长的内在动力从要素驱动转变为创新驱动,完善经济结构体系,最终达到增强经济内在增长能力的目的。在经济转型的重要关口,培育"
目的探讨盆底功能锻炼在宫颈癌患者术后尿潴留预防中的应用效果。方法选取2017年1月至2018年12月中国贵航集团第三○二医院收治的90例宫颈癌手术患者,按随机数字表法分为对照
针对《蒙医护理学》的课程特色,通过探讨线上线下混合式教学模式在该课程中的应用,分析这一新兴的教学方法对激发学生自主学习的重要性和教学效果,提出具体改革措施,以促进混
采莲,作为乐府诗歌传承下来的题材,由于历史、文学的发展及当时的背景,在宋代达到了一定的高度。本文以唐圭璋先生编纂王仲闻先生参订的《全宋词》为底本,统计出百余首宋代采