公共文化服务平台

共 8 条记录，以下是 1-8

全选清除导出

排序方式：

基于动态描述逻辑的语义Web服务匹配研究被引量：28: 2008年; 动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务发布方的原子服务用动态描述逻辑的动作进行描述,解决了语义Web服务的一致的形式化表述问题;将目标服务和原子服务的匹配问题归结为动态描述逻辑的公式可满足性判定问题,利用动态描述逻辑对动作的推理功能,发现与目标服务相匹配的原子服务组合.动态描述逻辑的公式可满足性问题是可判定的,解决了利用一阶谓词逻辑进行逻辑推理时的不可判定性.; 彭晖陈立民常亮史忠植; 关键词：语义WEB服务描述逻辑动态描述逻辑

网络智能化及语义Web相关的基础理论与关键技术研究: 史忠植胡军张海俊程勇黄河王茂光邱莉榕石川史俊罗杰文罗平常亮彭晖黄瑞牛温佳万长林陈立民王竹晓; 该项目主要研究语义Web的逻辑基础、语义Web知识挖掘、语义Web资源管理、语义Web查询及推理模式和互联网智能平台。提出了(1)扩展的动态描述逻辑(EDDL)；(2)语义关联模型SAM；(3)面向语义Web环境的分布式...; 关键词：; 关键词：知识管理系统计算机软件

语义Web服务组合中的服务建模及规划算法被引量：3: 2009年; Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简单服务,复杂动作描述组合服务的控制流,服务间的依赖关系描述数据流,并提出一个基本的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层2部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.最后给出一种新的自动组合规划算法,该算法充分考虑了语义推理和智能规划的结合,在对问题的描述能力和运行效率上做了较好的平衡.; 万长林陈立民王竹晓王文杰史忠植; 关键词：语义WEB 动态描述逻辑自动服务组合

基于动态描述逻辑DDL的动作理论被引量：4: 2011年; 基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径。系统地研究了基于DDL的动作表示和推理问题。首先,在应用描述逻辑对静态领域知识进行刻画的基础上,引入带参数的原子动作定义式和带参数的复杂动作定义式,刻画出关于动作的知识;这两部分知识与关于具体状态的知识一起构成基于DDL的知识表示系统。接下来,针对该系统中刻画的各种知识,对相关推理问题进行了严格定义,给出了相应的推理机制和算法。最后探讨了基于DDL的动作理论在智能主体建模中的应用。基于DDL的动作理论既具有较强的知识表示能力,又提供了丰富的推理服务,适用于语义Web环境下对动作的刻画和推理。; 常亮陈立民; 关键词：动态描述逻辑知识表示和推理智能主体语义WEB

一类扩展的动态描述逻辑被引量：24: 2010年; 作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻辑的相关研究,一方面,对动态描述逻辑中动作的语义重新进行定义,将每个动作解释为由关于可能世界的序列组成的集合;另一方面,在动态描述逻辑中引入动作过程断言,用来对动作的执行过程加以刻画.在此基础上提出一类扩展的动态描述逻辑EDDL(X),其中的X表示从ALC(attributive language with complements)到SHOIN(D)等具有不同描述能力的描述逻辑.以X为描述逻辑ALCQO(attributive language with complements,qualified number restrictions and nominals)的情况为例,给出了EDDL(ALCQO)的表判定算法,并证明了算法的可终止性、可靠性和完备性.EDDL(X)可以从动作执行过程和动作执行结果两个方面对动作进行全面的刻画和推理,为语义Web服务的建模和推理提供了进一步的逻辑支持.; 常亮史忠植陈立民牛温佳; 关键词：动态描述逻辑语义WEB服务

基于动态描述逻辑的Web服务自动组合技术被引量：3: 2011年; 提出了一种利用动态描述逻辑（DDL）的动态推理自动组合Web服务的方法。DDL是描述逻辑（DL）的一种动态扩展，它结合本体提供的静态信息与Web服务提供的计算，统一地描述和推理Web环境中静态信息与动态知识。该方法充分利用Web服务组合中涉及的静态知识（如描述逻辑知识库刻画的领域公理、具体环境和用户需求等）和动态知识（DDL中动作刻画的Web服务的功能），将Web服务组合的问题归约为DDL公式的可满足性问题，并通过一个可判的表扩展算法解决。开发了基于动态描述逻辑D—ALCHOQ的原型系统，并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景。; 陈立民王竹晓史忠植; 关键词：WEB服务语义WEB 动态描述逻辑

动态描述逻辑推理的并行计算技术被引量：3: 2011年; 在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计分布式动态描述逻辑框架.分布式动态描述逻辑由若干独立的动态描述逻辑所组成,这些动态描述逻辑两两之间通过桥规则联系起来.提出了基于Tableau的分布式推理算法,从而为分布式动态描述逻辑提供了全局推理能力,并且该算法可以将大的推理任务分解为若干子任务,而这些子任务可以被不同的推理主体并行处理.方法2是并行化动态描述逻辑的Tableau算法的不确定分支.不确定分支的并行计算使得推理任务可以在若干独立机器上同时执行.最后,介绍了推理引擎的原型实现并评估了其性能.实验结果表明提出的两种方法取得了明显的推理加速效果.; 王竹晓胡宏陈立民史忠植; 关键词：动态描述逻辑推理引擎

语义Web的局部封闭世界动态推理: 提出自认知描述逻辑ALCO@K的一种类命题动态逻辑扩展D-ALCO@K,实现Web开放环境下支持局部闭世界假设的动态推理。它基于自认知逻辑，具有良好的理论基础;同时与语义Web领域基于描述逻辑推理的现实需求密切相关，具有...; 陈立民史忠植; 关键词：语义WEB服务描述逻辑

全选清除导出

共1页<1>

陈立民