共查询到20条相似文献，搜索用时 31 毫秒
1.
支持语义web模糊本体的描述逻辑 总被引：7，自引：0，他引：7
为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理. 相似文献
2.
一种基于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上包含复杂模糊知识的模糊本体的表示和推理. 相似文献
3.
随着视频监控技术与互联网应用的普及,视频数据挖掘已成为当前大数据领域的重要研究内容之一。在视频数据挖掘中,对视频内容的理解需要从局部动作语义理解上升到更高层的复杂场景或事件语义理解。在对视频基本动作语义概念理解的基础上,提出一种基于基本动作语义概念关联的视频复杂动作场景检测方法。该方法首先记录视频动作语义概念的出现情形,对相应视频场景中的所有动作语义概念采用Aproiri算法进行关联规则挖掘,然后利用挖掘得到的动作语义概念关联规则,定义视频复杂动作场景检测分类准则,最后对测试视频采用该分类准则进行视频复杂动作场景概念检测。通过在典型数据集上的实验结果表明,该方法可以有效挖掘出视频中动作之间的关联关系,并实现对视频复杂动作场景概念的检测分类。 相似文献
4.
当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是WebOntology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. 相似文献
5.
当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是Web Ontology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法. 相似文献
6.
针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义.对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理. 相似文献
7.
语义Web研究的目的是为了使机器可以理解知识,所以实现语义Web首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。OWL是专门为基于Web的应用设计的本体语言,该语言与描述逻辑的组合可以实现一定程度上的推理服务。文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个个实例显示本体中基于描述逻辑的推理服务。 相似文献
8.
模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔（Baader）率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的.本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质. 相似文献
9.
10.
为了解决语义Web服务匹配方法主要针对服务IO描述的匹配, 导致匹配结果较为片面的问题, 提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法. 具体使用描述逻辑概念标注服务IO, 以描述逻辑断言库刻画服务PE. 进行服务匹配时, 利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系; 利用描述逻辑ABox一致性检测推理, 判断服务请求与广告PE之间的逻辑蕴含关系; 依据此蕴含关系, 将PE匹配情况划分为4种, 即Exact, Perfect, Side-effect和Common匹配, 用以对匹配结果进行有意义的排序. 实验结果表明, 所提方法在召回率与现有方法相当的情况下, 具有更高的查准率. 相似文献
11.
苏丽 《科学技术哲学研究》2014,(1)
关于人类推理机制的说明主要有两种理论,分别是心智模型理论和心智逻辑理论。利普斯的心智逻辑理论构造了一个近似于一阶逻辑的人类演绎推理的形式规则(PSYCOP)系统,来描述依据命题联结词和量词变量进行的推导过程,并用Prolog计算机程序来模拟和检验该理论所描述的人类推理的心智过程。该理论的核心优势是去量词化,但同时也面临着一些可能的缺陷。 相似文献
12.
本文就利用地理本体的强大的知识表达能力来表达地理时空信息的语义关系和时空关系进行了探讨,同时使用基于本体的多维地理时空信息的分类方法和描述逻辑语言OWL在Protege本体构建工具中构建了地理时空信息本体。 相似文献
13.
14.
论相干逻辑的研究方法 总被引：1，自引：0，他引：1
冯棉 《华东师范大学学报(哲学社会科学版)》2008,40(6):58-62,91
相干逻辑的形式系统组成一个逻辑家族,这些逻辑系统的共同点是：坚持演绎推理的相干性,拒斥“结论的推导未实际使用前提”的推理方式。相干系统的分类建构与可拆分,为相干推理和判定问题的深入研究提供了平台。相干逻辑采用多种技术手段,证明了“相干原理”等一系列元定理,用以揭示相干蕴涵的逻辑特性和排除形形色色的“蕴涵怪论”。相干语义理论内涵丰富,而直观的信息论解释,不仅细致地描述了三元关系语义的理论背景,也为相干逻辑在信息论和人工智能领域的应用展示了广阔的前景。 相似文献
15.
16.
通过研究Agent技术与语义Web服务技术在应用中结合的方式和Agent在语义Web服务技术体系中需要扮演的角色,以及Agent与语义Web服务结合的具体实现,提出了一种基于Agent的语义Web服务框架。在此框架的原理基础上,利用扩展逻辑C&L意图理论描述了框架中Agent的工作过程以及语义Web服务的内容。 相似文献
17.
基于语义的主观题自动批改算法的设计 总被引：1，自引：0，他引：1
主观题自动批改是网络作业管理系统的一个难点所在。利用中文信息处理的知识,在描述知网的基础上,提出了一种基于语义的主观题自动批改算法。 相似文献
18.
立足于语义Web服务的应用研究,在语义Web推理过程逻辑基础描述逻辑之上,研究了将软件工程知识应用于服务发现与匹配的方法.使用基于ORM映射框架的方法实现本体到资源的映射,设计了语义Web服务映射框架,为信息资源的语义沟通能力不足、服务组件的组合困难等问题的解决提供了方法. 相似文献
19.
主要介绍语义Web中表达能力和推理能力很强的一种本体描述语言--OWL,给出OWL与RDF转换的实例,并介绍用Visual C 编制的相互转换程序. 相似文献
20.
上下文感知计算是普适计算的核心技术之一,而在某个特定领域环境下,建模是运用上下文感知技术的前提。针对服装制造过程中复杂的生产信息难以有效应用的问题,提出了一种基于本体的上下文建模方法。本体描述语言OWL(WebOntologyLanguage)是以描述逻辑为基础的本体形式化语言,可以满足用于知识共享和上下文推理的本体建模,提高上下文信息的表达能力。该建模过程可为下一步的服装质量推理过程打下研究基础。 相似文献