动态描述逻辑相关论文
表面模型和操作算子技术是新一代产品几何技术规范（New-generation Geometrical Product Specification and verification，N-GPS）提出......
统一建模语言(Unified Modeling Language,UML)已经被面向对象建模领域公认为事实上的工业标准。使用UML描述的软件模型,表达简洁......
基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推......
针对动态描述逻辑框架中只有概念和关系，在表述由于动作作用而引起的概念或个体的属性及值的变化和变化后的影响方面能力不强的问题......
现有的知识管理方法多种多样,但是不存在统一的解决方法。在服务业中,借鉴都柏林核心的思想,建立一种普适的结构模型,采用分层的思......
状态图是UML（Unified Modeling Language）语言中刻画对象行为的重要视图，而如何对状态图模型定义的正确性和有效性进行检验一直是一个......
通过对可拓集合与经典集合、模糊集合的分析比较，说明可拓集合的特点和优点，用可拓集合代替经典集合或模糊集合作为动态描述逻辑DDL......
基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,......
分析了目前描述逻辑DL的研究现状和存在的问题,特别是动态描述逻辑DDL作为语义Web逻辑基础所存在的问题.针对语义Web需要处理模糊......
本文提出一个基于动态描述逻辑的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层两部分,于是服务的自动......
动态描述逻辑在描述逻辑的基础上引入了动态维，用于描述和推理动态领域的知识，但目前缺少有效的判定算法作为支撑。文中以描述逻辑AL......
将基于描述逻辑断言构成的PE描述公理的有限集合看作一个本体知识库,因此有关PE的语义匹配问题就转化到两个基于描述逻辑的本体知......
提出了一种应用动态描述逻辑对被诊断系统进行分析的方法．动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为．给出了算......
动态描述逻辑DDL（dynamic description logic）提供了一种基于描述逻辑的动作理论，适用于语义Web环境下对动态领域知识的刻画和推理．为......
针对传统道路交通事件语义解释方法依赖于定量数学建模方法,且底层语义概念与高级事件表达之间存在语义鸿沟的问题,提出了基于动态......
提出了一种利用动态描述逻辑（DDL）的动态推理自动组合Web服务的方法。DDL是描述逻辑（DL）的一种动态扩展，它结合本体提供的静态信息与Web......
提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一......
动态描述逻辑（dynamic description logic,DDL）是描述逻辑（description logic,DL）的一种动态扩展,它支持语义Web环境下对动作的描述和......
针对动态描述逻辑动作理论存描述和分析多个动作间关系（尤其并发关系）时能力的不足，提出对多个动态描述逻辑动作间关系描述和分析的Pe......
本体（Ontology）是语义Web中共享知识的形式化建模工具，其逻辑基础是描述逻辑。动态描述逻辑（DDL）具有同时表示静态和动态知识的优势。本......
Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理......
分析了目前描述逻辑（DL）的研究现状和存在的问题，特别是动态描述逻辑（DDL）作为语义Web逻辑基础所存在的问题．针对语义Web的特点和需求，对D......
在动态描述逻辑的基础上,提出了一种智能主体的心智状态模型.它充分利用了动态描述逻辑统一的形式化框架,同时从静态的知识表示与......
针对普适计算访问控制对客体部分动态管理的需要,分析了现有扩展基于角色的访问控制(RBAC)的不足,提出一种新的扩展RBAC模型。模型......
针对传统跨域授权管理模型角色设置方法单一,以及有可能出现隐蔽提升、职责分离冲突等问题,提出一种基于双层角色结构的跨域授权管......
已有语义Web服务组合方法没有充分结合主体（Agent）技术和服务质量（QoS），不能为用户提供满足其偏好的最佳语义Web服务。为解决该问题，提出......
对动态系统的描述是智能领域的一个重要问题，但目前已有的动态描述逻辑语言，用不可再分的符号表示原子动作，不能区分动作类和动作实例......
当今社会下,决策过程必须的信息资源和必要的决策因素越来越多地分散在较大的活动范围内,传统的集中式的决策支持系统已经越来越无......
UML缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验.为了使UML能够更精确地对系统模型进行描述,学者们提出了一......
现实中存在着许多不能完全表示或不断变化的知识,这就要求语义Web不仅能够处理静态知识,还要对动态知识进行处理。仅利用传统描述......
使用控制（UCON）是下一代访问控制模型，其核心模型包括授权模型、义务模型和条件模型。该文的目的是使用动态描述逻辑DDL对UCON授权模......
统一建模语言（UML）状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SH......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
智能主体和多主体系统经过了20多年的研究和发展,已经成为人工智能甚至计算机科学的研究热点和重点之一,并已经广泛应用到很多领域......
应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准......
Web服务是一种自包含、自描述、模块化的应用,可以在Internet环境下发布、定位和调用;并且在面向服务体系结构中,Web服务组合通过......
目前Web上的信息仅仅是为了让人们去阅读,而不是让计算机程序去有效地利用,现在迫切需要对Web上海量信息的机器自动处理,如何使Web......
WWW是人类有史以来构建的最大的信息库,其中URI和HTTP创建一个全球范围内可访问的信息空间,在这个空间中,每个对象都有全球唯一的......
为了使动态描述逻辑DDL具有处理简单矛盾问题的能力，引入可拓集合和可拓变换对它进行扩展．文章提出了一种动态描述逻辑DDLESET，给出了......
分析了目前语义Web理论的研究现状和存在的问题, 分析了用传统描述逻辑作为语义Web逻辑基础的不充分性, 根据语义Web的特点和需求,......
动态描述逻辑提供了一种基于描述逻辑的动作理论,适应于语义web环境下对动态领域知识的刻画和推理,是目前语义web服务技术的重要研......
网络化制造的快速发展以及越来越激烈的市场竞争,为中小企业的生存带来了严峻的考验。不同于集团企业,中小企业的研发能力较弱,制......
为了构建协同工作的复杂智能系统,中科院计算技术研究所智能信息处理重点实验室研制了主体网格智能平台AGrIP,它由底层集成平台MAG......
随着信息技术的快速发展和语义Web技术的兴起，充分利用语义Web技术在扩展Web服务的语义操作方面的能力，通过重组多个语义Web服务满足......
We b内容安全是当前社会稳定和发展的重要研究课题之一。利用本体和动态描述逻辑，提出了一种基于语义的We b内容安全检测模型，并通过......
为解决云制造环境下制造服务显著的异构性、动态性给云制造服务匹配带来的难题，提出了一种基于动态描述逻辑的制造服务匹配方法。建......
在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功......
