认知描述逻辑ALCKR+:描述逻辑的一个非单调扩展

来源 :计算机科学 | 被引量 : 0次 | 上传用户:aliuyangba
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
描述逻辑是语义Web的逻辑基础,是形式化表达领域知识的工具。但是描述逻辑只能表达单调推理,不能处理不完全知识。认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势。本文在认知描述逻辑ALCK的基础上提出了新的认知描述逻辑语言ALCKR+,保留了描述逻辑原有的优点,加入传递角色属性,增强了表达能力,并通过认知查询拥有了非单调推理的能力。设计了ALCKR+的语法、语义以及表算法。
其他文献
自适应背景更新是视频序列运动分割中的重要步骤,而背景像素分布的不规律性是对背景进行更新的困难所在。本文首先对背景像素值分布的模态性特点进行描述,然后提出采用均值漂移(MeanShift)方法检测背景像素的模态数量,从而为背景建模提供依据,可以针对不同模态数量的背景像素采用不同的建模方法。这种基于背景像素模态分类的方法能够实现背景更新在精度和速度上的折中。
运输问题自提出后,人们因其在各个领域的广泛应用进行了大量研究。尤其是线型运输问题,已经设计出了多种有效解法,但它们均不能直接处理非线性运输问题。本文在经典粒子群算法PS
主要讨论了安全强度较高的基于硬件的移动Agent安全方案。将可信计算技术与平台引入移动Agent的安全机制,基于可信硬件TPM所提供的相关安全服务实现移动Agent的主动保护机制
探讨了主动服务和个性化服务,给出了以主要特征词描述语义的用户访问历史的表示方法,建立了动态的用户兴趣模型。用户的兴趣模型表示为二层,上层是基于类兴趣的用户模型,下层是基
为了借用一阶混杂Petri网(First-OrderHybridPetriNets)的建模原语和分析方法来分析流体随机Petri网(FluidStochasticPetriNets)以克服流体随机Petri网数值分析方法的局限性,本文
P2P网络以其在动态、自组织、伸缩性、鲁棒性、资源利用率等方面的优势,已经发展成为当前互联网络的重要分支并获得广泛应用。但由于P2P支持用户匿名访问,其中包含大量恶意节点
Zhou和Gollmann设计的公平非否认协议(Z&G协议)旨在为电子商务交易的双方提供非否认证据和公平性。提出一种基于状态转换的方法对其公平性进行分析。与以往方法不同,它是一种针对
针对现有搜索引擎存在的问题,提出基于Multi-agent的分布式搜索引擎系统。系统采用元搜索引擎结构,利用Agent技术和基于个性化模式的信息过滤技术,使系统具有一定的智能性。
检索一段视频中出现的人物并进行人物归类具有重要的研究意义和实用价值。本文提出一种基于多特征的视频人物检索聚类算法:先用一种结合人脸检测和物体跟踪的算法检测镜头人物,并提取人物衣服区域颜色以及声音作为人物特征,再用一种无监督模糊聚类方法对人物进行聚类,最后利用声音特征对聚类结果进行修正。该方法适用于人物数未知的条件下进行无监督的人物聚类。不同类型视频的试验证明该方法有效而实用。
本文讨论了具有保留效用的一般网络的多个服务提供商之间的价格竞争博弈问题。给出了用户均衡的定义,并证明了其存在性、唯一性和连续性。由服务提供商所给价格和对应价格的用