基于XMI的UML模型向OWL本体转换方案   总被引：1，自引：0，他引：1  

陈振庆 《贺州学院学报》2009,25(3):139-144

OWL是W3C提出的语义网本体语言,作为语义网中信息共享和交换的基础,具备强大的知识表示和推理功能.文章对UML和OWL进行了分析比较,给出了UML类图相应的XMLSchema和OWL本体表示形式,提出了一种UML模型向OWL本体转换方案,通过XMI交换标准将UML模型转换为OWL本体.  相似文献   

基于本体语言OWL逻辑语义与推理的研究     

吴琴霞  赵红丹 《教育技术导刊》2008,7(12):41-42

语义Web研究的目的是为了使机器可以理解知识,所以实现语义Web首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。OWL是专门为基于Web的应用设计的本体语言,该语言与描述逻辑的组合可以实现一定程度上的推理服务。文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个个实例显示本体中基于描述逻辑的推理服务。  相似文献   

基于描述逻辑的知识建模语言     

李宗寿 《怀化学院学报》2007,26(5):70-72

当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是Web Ontology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法.  相似文献   

基于描述逻辑的知识建模语言     

李宗寿 《怀化学院学报》2007,(2)

当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是WebOntology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法.  相似文献   

语义Web的初步逻辑研究     

孙永新  闫大顺  李晟 《教育技术导刊》2010,9(5):29-31

阐述了语义Web的本体语言和逻辑基础,针对语义Web本体的一些特殊描述和自动推理的需要,提出对应的描述逻辑扩展研究任务和研究需求,完成语义Web的初步逻辑研究。  相似文献   

基于谓词逻辑的Prolog程序设计     

李娜  王湘云 《西南师范大学学报(人文社会科学版)》2009,(6):48-52

一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。  相似文献   

一种基于OWL的智能网站系统研究     

李海龙  李青  李俊 《教育技术导刊》2008,7(12):122-124

语义Web是下一代网络的视图。它通过本体来表示意义,并通过使用这些本体表示的不同资源类之间的关系,可以基于规则、逻辑和条件来进行推理和知识发现。以OWL作为本体表达语言,以能支持RDF/OWL本体处理的Jena系统作为开发支持平台,开发了一个具有初步智能的网站系统框架。系统将网站所需的信息内容按主题、属性进行分类并用OWL本体文档进行规范描述,以形成系统知识库,根据知识库自动生成网站。  相似文献   

一种基于vague集的模糊描述逻辑   总被引：1，自引：0，他引：1  

马宗民  王海龙  严丽  赵法信 《东南大学学报》2007,23(3):399-402

为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague集的定义,然后给出vague ALC的语法和语义的形式化描述,并规定vague ALC知识库中的公理和断言形式,指出了其推理的基本问题,最后给出了vagueALC的检验概念可满足性的tableau推理算法.Vague ALC建立于vague集之上,用一个区间来表示一个成员函数的隶属度,解决了Zadeh模糊集用单一的数不能准确表示一个成员函数隶属度的问题.Vague ALC具有比ALC更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务,因此,vague ALC可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.  相似文献   

基于动态谓词逻辑的汉语指代现象的信息处理     

《四川师范大学学报(社会科学版)》2015,(6):85-90

组合性是对自然语言进行信息处理时考虑问题的出发点。动态谓词逻辑主要是从语言信息的可计算性和组合语义的角度,使用标准一阶谓词逻辑的正统句法,通过对话语表现理论等逻辑理论进行改进而得到的。动态谓词逻辑的提出本质上是为了处理两类问题:跨语句的指代消解和表示语句内部约束关系的"驴子句"中的指代消解。动态谓词逻辑的核心思想是使用逐渐递增信息的动态方法对句子或者句子序列进行分析,并对于变项的指派进行扩展,或者对作为模型参照物的状态进行流动更新。  相似文献   

一种基于领域本体的启发式web服务组合方法     

任红博  邢春晓 《东南大学学报》2007,23(3):403-407

为了实现web服务的自动组合,提出了一种基于领域本体的启发式算法.该方法将领域本体与人工智能规划方法相结合,利用领域本体及其推理能力,推理出参数间的语义关系,在此基础上运用人工智能规划的启发式算法将web服务组合问题转化为规划问题加以解决.实验结果表明,该方法弥补了以往人工智能规划方法中缺乏语义的不足,综合考虑了服务语义、服务组合质量和服务组合效率等因素,能高效地自动生成满足用户需求的组合web服务.  相似文献