共查询到20条相似文献,搜索用时 203 毫秒
1.
语义Web研究的目的是为了使机器可以理解知识,所以实现语义Web首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。OWL是专门为基于Web的应用设计的本体语言,该语言与描述逻辑的组合可以实现一定程度上的推理服务。文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个个实例显示本体中基于描述逻辑的推理服务。 相似文献
2.
立足于语义Web服务的应用研究,在语义Web推理过程逻辑基础描述逻辑之上,研究了将软件工程知识应用于服务发现与匹配的方法.使用基于ORM映射框架的方法实现本体到资源的映射,设计了语义Web服务映射框架,为信息资源的语义沟通能力不足、服务组件的组合困难等问题的解决提供了方法. 相似文献
3.
当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是Web Ontology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. 相似文献
4.
当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是WebOntology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. 相似文献
5.
通过研究Agent技术与语义Web服务技术在应用中结合的方式和Agent在语义Web服务技术体系中需要扮演的角色,以及Agent与语义Web服务结合的具体实现,提出了一种基于Agent的语义Web服务框架。在此框架的原理基础上,利用扩展逻辑C&L意图理论描述了框架中Agent的工作过程以及语义Web服务的内容。 相似文献
6.
支持语义web模糊本体的描述逻辑 总被引:7,自引:0,他引:7
为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理. 相似文献
7.
针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义.对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理. 相似文献
8.
9.
情景演算对于动作理论的描述具有很强的表达能力,但是其推理算法具有不可判定性。在描述逻辑ALCO@的基础上,构建基于描述逻辑的动作理论系统DL-A。在该系统中,利用描述逻辑语言描述原子动作的表达式以及语义解释,并在此基础上利用各种构造符构造出顺序、选择、并发、迭代等复杂动作,同时赋予这些复杂动作的语法和语义。动作的实现会引起周围世界状态的改变,描述动作执行所引起的状态更新算法。基于描述逻辑ALCO@的动作理论不仅具有很强的表达能力,而且其算法具有可判定性,能够提供多种推理服务,可以应用于Web语义下的动作描述和推理。 相似文献
10.
11.
12.
探讨了本体技术和Web服务技术对试题库系统的支持,并提出了基于本体和Web服务的试题库应用框架结构,目的是为了让试题知识库能提供概念共享模型,建立概念语义空间,并用本体标准语言OWL进行形式化描述,从而解决知识共享和语义互操作问题,同时也为解决机器理解问题提供了一种办法. 相似文献
13.
为了提高语义Web服务的发现性能,从Web服务描述上下文中抽取语义标注的约束信息并生成新的更精确的语义标注,从而减少语义标注与参数之间的语义偏差,精化Web服务的语义描述.首先,从本体定义中抽取概念的约束模板,并对Web服务的描述文本进行句法分析;然后,根据约束模板,从句法分析树中抽取语义标注的约束信息,并构造新的概念表达式作为对应参数的新的语义标注.最后,提出了一种新的语义相似度度量方法以度量概念表达式的相似度.实验结果表明:该方法能够提高语义Web服务发现的平均准确率,且计算代价相对较小.从描述文本中抽取概念的约束信息,能够减少标注的语义偏差,更精确地表达语义Web服务的语义,提高Web服务的发现性能. 相似文献
14.
自然语言和形式语言的一个重要区别,是自然语言具有语义模糊性。二值逻辑与三值逻辑对命题语义处理是不足的。以札德"模糊集合论"为理论基础的模糊语义分析为我们提供了一种描述模糊语词语义真值多样性和渐进性的全新观念和手段。 相似文献
15.
韦丽红 《赤峰学院学报(自然科学版)》2014,(4):16-18
在网络信息遍布全球的时代,我们需要依靠网络进行及时的信息交流,传播消息,寻找材料等.在当今快节奏的生活中,网络的存在使得人们的生活能有序地安排、进行.而在信息量激增的当今社会,网络数据庞大,人们如何能准确、快捷地从大量的数据信息里找到所需的信息,如何便捷地进行经验、信息交流等活动是当今网络平台需要解决的问题.而针对网络平台的优化问题,现业内已经有很多转接着手对其进行研究,并提出了语义Web.本文借鉴专家对语义Web的研究成果,结合网络平台的现状,浅析语义Web如何更好的为网络平台服务,并分析实现语义Web的逻辑基础. 相似文献
16.
一种基于vague集的模糊描述逻辑 总被引:1,自引:0,他引:1
为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague集的定义,然后给出vague ALC的语法和语义的形式化描述,并规定vague ALC知识库中的公理和断言形式,指出了其推理的基本问题,最后给出了vagueALC的检验概念可满足性的tableau推理算法.Vague ALC建立于vague集之上,用一个区间来表示一个成员函数的隶属度,解决了Zadeh模糊集用单一的数不能准确表示一个成员函数隶属度的问题.Vague ALC具有比ALC更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务,因此,vague ALC可实现语义web上包含复杂模糊知识的模糊本体的表示和推理. 相似文献
17.
18.
基于OWL的网络管理领域本体构建方法 总被引:2,自引:0,他引:2
为了解决网络管理信息语义描述的问题,通过研究本体理论、OWL本体语言和描述逻辑,提出基于OWL语言的网络管理领域本体构建方法.领域专家首先获取网络管理领域已有知识,然后定义类、属性、实例以及公理并用OWL语言形式化本体.最后通过用Protege工具构建局域网部分本体的实验验证,结果表明该方法是可行的. 相似文献
19.
语篇逻辑语义结构分析着重研究的是语篇中表达的各种概念及命题之间在语义逻辑上的联系。本文旨在分析并描述英汉相似语篇结构的逻辑语义关系的异同点,并探讨了英汉语篇逻辑语义结构对外语教学与翻译活动的应用价值。 相似文献
20.
保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色。它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。 相似文献