支持数量约束的扩展模糊描述逻辑复杂性研究

来源 :软件学报 | 被引量 : 0次 | 上传用户：xzhtqx

【摘要】

：

扩展模糊描述逻辑EFALCN（extendedfuzzy attributive concept descriptionlanguage with complements and unqualified number restriction）是支持数量约束的描述逻辑ALCN的模

【作者】

：

李言辉徐宝文陆建江康达周

【机构】

：

东南大学计算机科学与工程系,江苏省软件质量研究所,解放军理工大学指挥自动化学院

【出处】

：

软件学报

【发表日期】

：

2006年5期

【关键词】

：

模糊描述逻辑语义WEB 数量约束知识表示 fuzzy description logic semantic Web numerical restri

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

扩展模糊描述逻辑EFALCN（extendedfuzzy attributive concept descriptionlanguage with complements and unqualified number restriction）是支持数量约束的描述逻辑ALCN的模糊扩展,但该逻辑的推理问题缺乏相应的算法和复杂性证明.提出EFALCN推理问题基于约束传播的Tableau算法,并证明该算法可在PSPACE（polynomial space）约束下执行.由ALCN（attributive conc

其他文献

M坝RCC坝竖管式测压计安装与监测

斯里兰卡Moragahakanda首部水库工程是斯里兰卡以灌溉为主民生工程,是目前当地完成建设最大的水电站。主要介绍斯里兰卡Moragahakanda首部水库工程1号副坝混凝土重力坝-（[1]）竖

期刊

RCC重力坝竖管式测压计安装监测

建筑第五面——屋顶花园

屋顶花园是近几年城市绿化摸索出的新形势,也是拓展城市绿化空间的必要手段。本文主要论述了屋顶花园的作用、特点及植物选择的原则。

期刊

屋顶花园功能与特点植物选择

组合电子市场中多Agent联盟形成的动态特性分析

在给出一种多Agent中介系统控制的组合电子市场模型的基础上，利用基于群集智能的多Agent系统分析方法，针对中介主导的组合电子市场中大量消费者联盟形成的问题，从组合市场的宏观

期刊

电子商务组合贸易多AGENT系统联盟形成群集electronic commerce combinatorial trading multi-Age

多级多版本数据库管理系统全局串行化

多级调度应该保证事务历史可串行化，满足多级安全特性，不会引入隐通道，并保证高级别事务不会因为无限等待而“饿死”与其他多级数据管理系统调度机制相比，多级多版本时戳调度机制

期刊

全局时戳多级多版本全局时戳排序MLS_MVGTO多版本单版本可串行化(1SR)global timestamp MLS_MVGTO multi-ve

M坝多点位移计在RCC重力坝的安装与监测

斯里兰卡Moragahakanda首部水库工程是斯里兰卡以灌溉为主的民生工程,也是目前建设完成的最大水电站。主要介绍多点位移计在RCC重力坝的安装与监测。RCC混凝土重力坝基础灌浆

期刊

斯里兰卡Moragahakanda首部水库工程多点位移计安装监测

基于工作过程的《计算机图形图像处理》课堂教学设计初探

基于工作过程的课程体系是以职业的典型工作任务为基础,以工作过程为导向,在培养学生专业能力的同时,促进学生关键能力的发展和综合素质的提高,是职业教育课程改革的大方向。基于工作过程的课堂教学设计是实施培养目标的关键。本文结合行动导向教学方法的理念,根据学生的现状,对基于工作过程的课堂教学过程进行了设计与实践,希望能对技工院校计算机专业类的课程起到一定的借鉴作用。

期刊

行动导向教学课堂教学设计职业核心能力

连续波腔衰荡技术测量系统的参数选择

连续波腔衰荡技术是一种非常规、高精度的腔损测量技术。考虑入射光线宽和谐振腔失调等情况，本文依照多光束干涉理论对连续波腔衰荡法的腔出射光强公式进行了推导，并围绕腔出射

期刊

腔衰荡技术腔损耗痕量气体检测参数选择Cavity ring-down technology Loss of cavity Trace gas det

基于虚拟机的虚拟计算环境研究与设计

通过对基于虚拟机的虚拟计算环境典型系统的分析,给出了CROWN虚拟计算平台CIVIC（CROWN-based infrastructure for virtual computing）的设计.CIVIC集成多种虚拟机技术,可以为用

期刊

虚拟计算虚拟机虚拟化网格计算virtual computing hypervisor virtualizatlon grid computing

一种基于混沌的软件水印算法框架及实现

针对现有软件水印算法中存在的一些不足，将反逆向工程技术和混沌系统与Easter Egg软件水印的思想相结合，提出了一个基于混沌的软件水印算法框架．该框架通过引入混沌系统，把水印信

期刊

软件水印反逆向工程混沌系统EASTEREgg软件水印software watermarking anti-reverse engineering

支持数量约束的扩展模糊描述逻辑复杂性研究

其他学术论文