位置：成果数据库 > 期刊 > 期刊详情页
基于动态描述逻辑的语义Web服务组合
  • ISSN号：0254-4164
  • 期刊名称：计算机学报
  • 时间：2013.12.15
  • 页码：2468-2478
  • 分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]武汉大学软件工程国家重点实验室,武汉430072, [2]桂林电子科技大学广西可信软件重点实验室,广西桂林541004, [3]中国科学院计算技术研究所智能信息处理重点实验室,北京100190
  • 相关基金：本课题得到国家自然科学基金（61363030,61262030,61035003,61070013,61163041）、国家“九七三”重点基础研究发展规划项目基金（2007CB311004）、武汉大学软件工程国家重点实验室开放基金（SKLSE2010-08-02）、广西自然科学基金（2012GXNSFBA053169）和广西可信软件重点实验室研究课题（KX201109）资助.
  • 相关项目：基于云计算的海量数据挖掘
作者： 常亮|刘进|古天龙|史忠植|
关键词： 语义WEB服务, 服务组合, 动态描述逻辑, 动作理论, 规划问题, semantic Web service, service composition, dynamic description logic, action theory, planning problem
中文摘要：

应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL（X）将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,为语义Web服务的建模提供了新的工具.提出了一种基于DDL（X）的语义Web服务自动组合方法.首先,在将OWL-S表示的语义Web服务建模为动作的基础上,将语义Web服务组合问题建模为基于DDL（X）的规划问题,其中规划问题的规划解可以由DDL（X）中的任一动作构成,从而可以支持OWL-S中不含有Split和Split＋Join的各种Web服务组合方案.针对建模后得到的任一规划问题,给出了用来判断是否存在规划解的判定算法,证明了算法的可终止性、可靠性和完备性.最后,当规划解存在时,可以根据判定过程将其解析出来.文中的方法充分发挥了DDL（X）在表达能力和计算性能等方面的优势,为语义Web服务自动组合提供了一套有效的理论工具.

英文摘要：

In order to realize automatic composition of semantic Web services, a basic step is to model these services with suitable formal systems; both the accuracy and the efficiency of the composition are determined by the expressive power and the computing property of the formal system adopted. The dynamic description logic DDL（X） is a combination of dynamic logics, description logics and action formalisms constructed over description logics~ it provides a new tool for modeling and reasoning about semantic Web services. Based on DDL（X）, this paper intro- duces a method for automatic composition of semantic Web services. Firstly, by translating semantic Web services described by OWL-S into actions, the composition problem is modeled as a planning problem based on DDL（X）. Since each solution of the planning problem is formed by actions of DDL（X）, any compositions specified by OWL-S, except those with the Split and Split- Join control structures, can be taken into account. Secondly, for any planning problem constructed above, an algorithm for deciding the existence of solutions is developed. The termination,soundness and completeness of this algorithm are proved. Finally, in the case that there exist solutions for the planning problem, it is demonstrated that one of the solutions can be generated from the deciding procedure. This method takes advantages of both the expressive power and the computing property of DDL（X）. It provides a suit of effective theoretical tools for automatic composition of semantic Web services.

同期刊论文项目
基于描述逻辑及符号算法的事例相似性研究
期刊论文 12
面向语义Web的行动表示和推理研究
期刊论文 16
基于平行执行的网络化软件动态建模方法和关键技术研究
期刊论文 16 会议论文 10
基于云计算的海量数据挖掘
期刊论文 172 会议论文 96 获奖 10 专利 3 著作 7
面向产品几何规范的知识表示与测量认证研究
期刊论文 28 会议论文 3 著作 1
同项目期刊论文
<span>Using Artificial Plant Optimization Algorithm to Solve Coverage Problem in WSN</span&
一种基于跨领域典型相关性分析的迁移学习方法<br />
A Hybrid P2P Approach to Service Discovery in the Cloud
<span>An Adaptive Approach to Learning Optimal Neighborhood Kernels</span>
<span>A Literature Survey on Robust and Efficient Eye Localization in Real-life Scenarios</
基于MapReduce的并行PLSA算法及在文本挖掘中的应用
<span>Simultaneous clustering and classification over cluster structure representation</spa
<span>Minimum cost attribute reduction in decision-theoretic rough set models</span>
Combining supervised and unsupervised models via unconstrained probabilistic embedding
<span>Graph optimization for dimensionality reduction with sparsity constraints</span>
Accelerating Multi-agent Reinforcement Learning by Equilibrium Transfer
<span>An Improved Artificial Plant Optimization Algorithm for Coverage Problem in WSN</span
<span>Maximum Volume Clustering: A New Discriminative Clustering Approach</span>
<span>Multi-objective Evolutionary Algorithms for filter Based Feature Selection in Classifica
<span>Online Selective Kernel-Based Temporal Difference Learning</span>
<span>Query-dependent cross-domain ranking in heterogeneous network</span>
Special Issue on Recent Advances on Swarm Intelligence: Theory and Applications
Using Gravitropism Artificial Plant Optimization Algorithm to Solve Toy Model of Protein Folding
Using Splitting Artificial Plant Optimization Algorithm to Solve Toy Model of Protein Folding
三维网格空间上的自组装模型
Cognitive Cycle in Mind Model CAM
A Mind Model CAM in Intelligence Science
基于Hadoop 云平台的并行数据挖掘方法
Hybrid Designing of a Neural System by Combining Fuzzy Logical Framework and PSVM for Visual Haze-Fr
<span>Multimodal Sparse Representation-Based Classification for Lung Needle Biopsy Images</
<span>TRASMIL: A local anomaly detection framework based on trajectory segmentation and multi-
<span>On an optimization representation of decision-theoretic rough set model</span>
<span>Visual Word Coding Based on Difference Maximization</span>
<span>Adaptive support framework for wisdom web of things</span>
<span>Safety-Aware Semi-Supervised Classification</span>
<span>Co-metric: A Metric Learning Algorithm for Data with Multiple Views</span>
<span>Analysis of Non-Local Euclidean Medians and Its Improvement</span>
基于聚度的PSO参数分析
联机核模糊C均值聚类方法
<span>Image annotation by modeling Supporting Region Graph</span>
计算文本的情感描述值的算法
Rete算法<span>: </span>研究现状与挑战
三维网格模型的边界性度量方法
STRUCTURALLY ENHANCED INCREMENTAL NEURAL LEARNING FOR IMAGE CLASSIFICATION WITH SUBGRAPH EXTRACTION
基于人脸图像的年龄估计
Computational Cognitive Models for Brain-Machine Collaborations
Structural regularized support vector machine: a framework for structural large margin classifier
<span>A novel multi-view learning developed from single-view patterns</span>
Sparse non-negative tensor factorization using columnwise coordinate descent
混合概率典型相关性分析<br />
<div> 基于威胁传播采样的复杂信息系统风险评估 </div>
Foundations of Intelligence Science
<span>Support Vector Machine with Mixture of Kernels for Automatic Image Annotation</span&g
Video Behavior Analysis Using Topic Models and Rough Sets
<span>Image Retrieval Based on Augmented Relational Graph Representation</span>
<span>Soft large margin clustering</span>
特征采样和特征融合的子图像人脸识别方法
Social Emotional Optimization Algorithm with Gaussian Distribution for Optimal Coverage Problem
大数据下的机器学习算法综述
中国数据挖掘研究进展
基于特征融合的多模态身份识别方法研究
颌面战创伤救治智能决策支持系统的构建(下)
基于社区发现的多主体信任评估
面向服务的云数据挖掘引擎的研究
A Cognitive Model for Multi-Agent Collaboration
Multi-agent Reinforcement Learning with Unshared Value Functions
基于<span>LDA</span>主题模型的社会网络链接预测
利用图像类标信息的自调式字典学习方法
一种基于耦合对象相似度的项目推荐算法
不完美信息扩展式博弈中在线虚拟遗憾最小化
基于数据共性的鲁棒特征表示
一种基于深度信念网络的二代身份证异构人脸核实算法
A Novel Multi-view Classifier based on Nystrom Approximation
SCIHTBB: Sparsity constrained iterative hard thresholding with Barzilai–Borwein step size
<span>New semi-supervised classification based on modified clustering assumption</span>
XCSc: A Novel Approach of Clustering with Extended Classifier System
New trends on bio-inspired computation
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
基于Hadoop平台的海量文本分类的并行化
一种基于MapReduce的频繁闭项集挖掘算法
A parallel incremental extreme SVM classifier
一种基于语义轨迹的事件规则学习算法
权衡熵和相关度的自动摘要技术研究
A Posteriori Approach for Community Detection
基于视频流的复杂场景公车人头对象计数研究
Parallel Web Mining System Based on Cloud Platform
D3L_(ccy)的属性及分布式Tableaux推理算法的研究
<span>Parallel extreme learning machine for regression based on MapReduce</span>
基于三支决策粗糙集的视频异常行为检测
一种自适应求三枝决策中决策阈值的算法
多模态张量数据挖掘算法及应用
LDA-CRF:一种基于概率图模型的目标检测方法
Support Vector Machine incorporated with feature discrimination
A structurally motivated framework for discriminant analysis
Newman and Watts Small World Social Emotional Optimization Algorithm with WSN
Exploiting relevance, coverage, and novelty for query-focused multi-document summarization
<span>Transductive cost-sensitive lung cancer image classification</span>
<span>Orthogonality-based Label Correction in Multi-class Classification</span>
基于相容粒度空间模型的自适应图像语义分类方法
基于Hadoop云平台的并行数据挖掘方法
Eyes Closeness Detection from Still Images with Multi-scale Histograms of Principal Oriented Gradien
代价敏感分类策略在肺癌细胞识别诊断中的应用
可判定的时序动态描述逻辑
RCSM:多主体系统中的可靠关键子系统模型
mPadal: a joint local-and-global multi-view feature selection method for activity recognition
一种基于子空间学习的图像语义哈希索引算法
基于分布相似度迁移的关键路由设备检测
SSXCS：半监督学习分类系统
一种求三支决策阈值的模拟退火算法
基于LDA主题模型的社会网络链接预测
基于核方法的连续动作Actor-Critic学习
联机局部自适应模糊C均值聚类算法
离散线性一致性算法噪声问题研究
线性均方一致性问题的偏差估计
基于弱匹配概率典型相关性分析的图像自动标注
一种基于子空间学习的图像语义哈希索引方法
视频人脸识别中判别性联合多流形分析
基于多示例学习的异常行为检测方法
一种基于跨领域典型相关性分析的迁移学习方法
基于语义轨迹的视频事件探测
基于维基百科和条件随机场的领域主题词抽取方法
基于动态描述逻辑的Web自动化服务组合
支持链式桥规则的分布式动态描述逻辑
链式桥规则导致的D3L知识传播及推理
基于内容图像检索中的优化鉴别特征
Support vector machine with mixture of kernels for automatic image annotation
Fusing PLSA model and Markov random fields for automatic image annotation
LDA—CRF：一种基于概率图模型的目标检测方法
A visual awareness pathway in cognitive model ABGP
元数据存储库系统中违背良格式约束潜在操作的推理
基于改进遗传编程的并行装配序列规划
基于符号ADD和线性多分支程序的分类算法安全评估
基于代数决策图的路由查找算法
基于OBDD的描述逻辑εL循环术语集推理
SNOW 3G加密算法的BDD攻击
基于OBDD的模式匹配算法硬件实现
基于改进树分解技术的约束满足问题的符号ADD求解算法
基于分支程序逆向评估的安全多方计算
面向装配序列规划的装配本体设计
基于OBDD的多方信息安全比较相等协议
Social Sensing Enhanced Time Ruler for Real-Time Bus Service
WTrack: HMM-based Walk PatternRecognition and Indoor Pedestrian Tracking Using Phone Inertial Sensor
Cloud service: automatic construction and evolution of software process problem-solving resource spa
A Particle Swarm Optimization using Local Stochastic Search for Continuous Optimization
A NoSQL based Cached Storage Solution of GIS Web Service
Interconnected Resource Viewpoint System, Its Developing Method and Application
一种基于k近邻图的稀有类检测算法？
基于符号ADD和线性多分支程序的分类算法安全评估
基于代数决策图的路由查找算法
旅游推荐系统研究综述
基于OBDD的描述逻辑εL循环术语集推理
大规模图数据的P-MDD表示方法与操作研究
不确定观测下离散事件系统的可诊断性
描述逻辑εL的二阶线性推理机制
一种透明的可信云租户隔离机制研究
面向入侵检测系统的模式匹配算法研究
Boosting imbalanced data learning with Wiener process oversampling
SNOW 3G加密算法的BDD攻击
基于OBDD的模式匹配算法硬件实现
基于改进树分解技术的约束满足问题的符号ADD求解算法
基于分支程序逆向评估的安全多方计算
面向装配序列规划的装配本体设计
基于几何公差描述逻辑的公差类型的自动生成
Automatically generating assembly tolerance types with an ontology-based approach
基于新一代GPS的垂直度误差评定方法的研究
支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)
An assembly tolerance representation model based on spatial relations for generating assembly tolera
基于拟蒙特卡罗的三维公差综合仿真
Constructing a meta-model for assembly tolerance types with a description logic based approach
基于本体的极限与配合数据访问
基于本体的装配公差类型的自动生成
基于描述逻辑的公差规范的自动生成
Research on Knowledge Base System of Straightness Verification Base on Ontology
基于描述逻辑的功能公差分析
基于拟蒙特卡罗方法的三维公差综合仿真
基于特征表面和空间关系的公差表示模型
基于CVaR的双侧风险度量模型的求解与实证分析
基于相似联系度不完备区间值信息系统的属性约简
基于OWL的零件特征知识表示和知识库分析
基于本体的轴类零件变型设计方法
基于EMD的FCMM降噪和故障诊断
基于形状公差本体知识库的三维模型造型系统
基于本体的公差标注知识库研究
双精度容差关系的粗糙集拓展模型及约简
区间值信息系统在双精度容差关系下的约简
OBDA在极限与配合知识库中的应用
期刊信息
  • 《计算机学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编：孙凝晖
  • 地址：北京中关村科学院南路6号
  • 邮编：100190
  • 邮箱：cjc@ict.ac.cn
  • 电话：010-62620695
  • 国际标准刊号：ISSN：0254-4164
  • 国内统一刊号：ISSN：11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:48433