位置：立项数据库 > 立项详情页
语义Web服务的逻辑基础
  • 项目名称：语义Web服务的逻辑基础
  • 项目类别：面上项目
  • 批准号：60775035
  • 申请代码：F030501
  • 项目来源：国家自然科学基金
  • 研究期限：2008-01-01-2010-12-31
  • 项目负责人：史忠植
  • 负责人职称：研究员
  • 依托单位：中国科学院计算技术研究所
  • 批准年度：2007
中文摘要：

本项目将面向语义Web服务的形式化描述，研究扩展的动态描述逻辑，为语义Web服务提供充分的逻辑支撑。主要研究内容包括动态描述逻辑中复杂动作的描述和可满足性问题，动态描述逻辑推理机制和扩展的Tableau算法，动态描述逻辑的时序扩展，语义Web服务的形式化描述和功能自动化。通过研究，本项目将提出扩展的动态描述逻辑EDDL，为语义Web服务的描述、推理、发现、组合等功能提供逻辑支撑；提出时序动态描述逻辑TDDL，将可以在统一的框架下对概念的动态内涵以及时序方面的内涵进行刻画，构成复杂的逻辑公式，对复杂的服务对象进行描述；提出扩展的Tableau算法，构建高效的动态描述逻辑推理机；研制的语义Web服务系统SWSBroker将静态知识的描述和推理与动态知识的描述和推理有机结合，为语义Web服务的发现和组合提供有效支撑。其研究结果将对互联网的发展和面向服务的系统集成具有重要意义。

中文主题词： 语义Web服务；动态描述逻辑；时序动态描述逻辑；Tableau算法；本体知识库
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 50
  • 31
  • 0
  • 0
  • 3
期刊论文
情感主体形式模型
A family of dynamic description logics for representing and reasoning about actions.
Tolerance Granular Computing Towards Incomplete Information System
On Intelligence Science
语义Web服务的QoS描述和发现
基于动态描述逻辑的网构软件系统故障诊断
基于动态描述逻辑的服务组合及质量模型.
一种新的Web异构语义信息搜索方法
一种基于主体的可信网构软件设计方法
调和聚类-分类方法在电力负荷预测中的应用
基于语境和动作推理的语义Web服务发现
基于动态描述逻辑的Web服务自动组合技术
一个可判定的时序动态描述逻辑
动态描述逻辑推理的并行计算技术
一类扩展的动态描述逻辑理
基于主体的软件故障诊断系统eHealer
基于模型诊断研究进展
A Dynamic Description Logic System for Video Event Detection
基于精英池演化算法的数字电路在片演化方法
基于动态描述逻辑的服务组合及质量模型
建模连续视觉特征的图像语义标注方法
一种基于语义轨迹的事件规则学习算法
基于动态描述逻辑的语义Web服务推理
基于动态描述逻辑的语义Web服务匹配研究
动态描述逻辑的Tableau判定算法
基于偏向信息学习的双层强化学习算法
Adaptive associative classification with emerging frequent patterns
可判定的时序动态描述逻辑
基于动态膜计算系统的自组织网络广播算法
基于语义轨迹的视频事件探测
基于相容粒度空间的医学图像融合技术
多主体协同电力负荷预测模型
基于模型诊断的研究进展
基于主体的软件的故障诊断系统eHealer
基于数据挖掘的本体关系学习算法
会议论文
IPHITS: an Incremental Latent Topic Model for Link Structure
Build Context-based Reasoning Space for Web Service Composition
Facilitating Dynamic Web Service Composition with Fine granularity Context Management
A DDL-based Model for Web Service Composition in Context-aware Environment
An Ontology-Based Semantic Web Service Space Organization and Management Model
Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions
Improvement Strategies for PSO
Exploring Web Resources in Social Annotation Services in Hierarchy
Semantic Filtering for DDL-based Service Composition
Enhancing Web Search with Heterogeneous Semantic Knowledge
An Efficient Data Mining Framework on Hadoop using Java Persistence API
An Approach for Diagnosing Unexpected Faults in Web?Service?Flows
A Context Model for Service Composition Based on Dynamic Description Logic
Similarity-based Bayesian Learning from Semi-structured Log Files for Fault Diagnosis of Web Service
Reasoning about Web Services with Local Closed World Assumption
Multi-agent based bioinformatics integration using distributed dynamic description logics
Emotion Modeling in Autonomic Computing
Adaptive Action Selection Using Utility-based Reinforcement Learning
A Mind Model for Brain-Like Computer
Constructing a Facet based and Personalized Just In Time Web Information Recommendation Application
An Approach to QoS-driven Dynamic Service Composition with Context-aware Support
Assignment Reduct and its Calculation Method in Inconsistent Incomplete Decision System
Dynamic Reasoning under Probabilistic Uncertainty in the Semantic Web
Multi-agent and Workflow-based Web Service Management Model
Mining hot clusters of Similar Anomalies for System Management
Collaboration in Agent Grid Based on Dynamic Description Logics
Unstructured P2P-enabled Service Discovery in the Cloud Environment
Associated Clustering and Classification method for Electric Power Load Forecasting
A Mind Model CAM in Intelligence Science.
A Research on Introspective Learning based on CBR
Web Service Composition as Satisfiability Checking in Dynamic Description Logics
著作
神经网络
认知科学
Advanced Artificial Intelligence
相关项目
面向语用Web服务的网络服务管理机制研究
期刊论文 55 会议论文 22
基于描述逻辑和模型检测的行动理论研究
期刊论文 41 会议论文 8 专利 1
分布式本体系统中本体粒度划分机制研究
期刊论文 2 会议论文 6 著作 2
基于用户反馈的语义Web服务协同选择方法研究
期刊论文 6 会议论文 5
社会网络空间的语义计算模型与方法
期刊论文 14 会议论文 1 专利 4 著作 2
基于语义链的E-Learning资源组织模型与搜索方法研究
期刊论文 8 会议论文 14
基于约束规划的语义Web服务动态组合技术研究
期刊论文 11 会议论文 29
语义Web的关键技术研究
期刊论文 4 会议论文 10
复杂管理环境下Web服务应用中的服务组合与进化
期刊论文 14 会议论文 13
史忠植的项目
基于感知学习和语言认知的智能计算模型研究
学习计算理论及其在知识发现中的应用
中俄智能信息处理联合实验室成立暨中俄智能信息处理双边会议
神经计算机的基础研究
网络信息的智能获取理论研究
期刊论文 8
神经网络与脑国际会议
多主体系统的学习机制
知识模型
中俄智能信息处理双边会议
2001国际计算机网络和移动计算会议
语义Web服务的逻辑基础
基于感知学习和语言认知的智能计算模型
期刊论文 190 会议论文 118 获奖 5 著作 4
基于云计算的海量数据挖掘
期刊论文 172 会议论文 96 获奖 10 专利 3 著作 7
网络智能化及与语义Web相关的基础理论与关键技术研究
期刊论文 39 会议论文 30 著作 3
神经计算理论