扩展结构包含推理算法的本体匹配

为了匹配本体时直接分析构造器和公理中所蕴含的语义信息,提出一种扩展结构包含推理算法的本体匹配方法以解决该问题。首先将本体中实体重定向为范式,使得被蕴含的语义信息明显地表示,然后比较范式之间的句法结构以推理来自不同本体的实体间的匹配。针对一组工业本体的测试结果表明该方法具有较好的性能。

描述逻辑FL_0的包含推理及其保守扩充

本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox.本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充.但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点.在Lutz等人研究的基础上探究的保守扩充问题.首先构建了的典范模型,将包含推理问题转换为典范模型的模拟问题;其次由典范模型之间的最大模拟是多项式时间复杂的,证明了的包含推理是多项式时间复杂的;最后给出描述逻辑的保守扩充及其判定算法,证明了的保守扩充的判定算法是指数时间复杂的.

基于描述树方法描述逻辑VL的包含推理

描述逻辑是一族知识表示的语言,以形式化、结构化的方式表示相应的应用领域。描述逻辑VL非循环术语集的包含推理,通过将描述逻辑VL非循环术语集包含推理问题转化为描述树之间的同态问题,证明VL非循环术语集的包含推理问题是多项式时间复杂的。

基于位置服务中的本体构建及应用

针对基于位置服务(LBS)中缺乏语义基础的问题,分析了LBS涉及的数据和服务特点,设计了用于识别和关联语义相关概念的混合结构本体,对其进行建模。该方法克服了LBS中可能出现的语义异质问题,便于用户和服务之间进行概念的共享和交换。示例的结果,表明了基于本体的LBS在克服语义异质问题上的优点。

Web服务语义安全供求策略研究

目前,Web服务安全供求策略的表示与匹配是句法层次的,通过比较策略在结构和词法上的相似性来确定其兼容性,容易导致错误的匹配结果。为此,提出了基于语义思想来表示和匹配Web服务安全供求策略的方法。通过构造一个一般性的安全本体,提出了Web服务语义安全供求策略的定义方法和匹配算法,将策略的匹配问题转化成语义概念的包含推理问题。理论分析和实验结果表明,本文提出的方法能使策略内容包含必要的语义信息,可有效提高匹配结果的准确性,克服句法级方法存在的不足,同时也能在一定程度上简化策略的定义与管理,从而为Web服务环境下的安全供求策略表示与匹配问题提供了一个更为有效的解决方案。

描述逻辑FL0循环术语集的保守扩充

本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑的本体保守扩充是目前研究者们所关注的焦点。卢茨(Lutz)等提出的典范模型(CanonicalModel)方法解决了非循环描述逻辑EL的保守扩充问题。研究了描述逻辑FL0的术语集的保守扩充问题,给出描述逻辑FL0循环术语集在最大不动点模型下的保守扩充算法。

初中数学教学中的情境创设 邰桂华

一堂成功的数学课包含着观察、推理、归纳、验 证、反思等思维活动。在数学教学中,如果学生对学 习数学没有兴趣,这些思维活动只能被动地开展,数 学能力很难得到提高。孔子说:“知之者不如好之者, 好之者不如乐之者。”只有学生爱学、乐学,课堂教学 才能真正实现高效。