课题基金 / 基金详情

语义Web服务的逻辑基础

批准号：
60775035
项目类别：
面上项目
资助金额：
26.0 万元
负责人：
史忠植
依托单位：
中国科学院计算技术研究所
学科分类：
人工智能基础
结题年份：
2010
批准年份：
2007
项目状态：
已结题
项目参与者：
蒙祖强、彭晖、常亮、邱莉榕、黄瑞、万长林、张大鹏、林芬、谭力
关键词：
时序动态描述逻辑Tableau算法本体知识库语义Web服务动态描述逻辑

项目摘要

结项摘要

项目成果

史忠植的其他基金

相似基金

相关文献

中文摘要
本项目将面向语义Web服务的形式化描述，研究扩展的动态描述逻辑，为语义Web服务提供充分的逻辑支撑。主要研究内容包括：动态描述逻辑中复杂动作的描述和可满足性问题，动态描述逻辑推理机制和扩展的Tableau算法，动态描述逻辑的时序扩展，语义Web服务的形式化描述和功能自动化。通过研究，本项目将提出扩展的动态描述逻辑EDDL，为语义Web服务的描述、推理、发现、组合等功能提供逻辑支撑；提出时序动态描述逻辑TDDL，将可以在统一的框架下对概念的动态内涵以及时序方面的内涵进行刻画，构成复杂的逻辑公式，对复杂的服务对象进行描述；提出扩展的Tableau算法，构建高效的动态描述逻辑推理机；研制的语义Web服务系统SWSBroker将静态知识的描述和推理与动态知识的描述和推理有机结合，为语义Web服务的发现和组合提供有效支撑。其研究结果将对互联网的发展和面向服务的系统集成具有重要意义。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
Multi-granularity context model for dynamic Web service composition
DOI： 10.1016/j.jnca.2010.07.014
发表时间： 2011
期刊： J. Netw. Comput. Appl.
影响因子： --
作者： [Wenjia Niu;Gang Li;Zhijun Zhao;Hui Tang;Zhongzhi Shi]
通讯作者： Wenjia Niu;Gang Li;Zhijun Zhao;Hui Tang;Zhongzhi Shi
A fast multi-objective evolutionary algorithm based on a tree structure
DOI： 10.1016/j.asoc.2009.08.018
发表时间： 2010-03
期刊： Appl. Soft Comput.
影响因子： --
作者： [C. Shi;Zhenyu Yan;Zhongzhi Shi;Lei Zhang]
通讯作者： C. Shi;Zhenyu Yan;Zhongzhi Shi;Lei Zhang
一种新的Web异构语义信息搜索方法.
DOI： --
发表时间： --
期刊： 计算机研究与发展. 2008, 45 (8) : 1338-1345
影响因子： --
作者： []
通讯作者：
一类扩展的动态描述逻辑理
DOI： --
发表时间： --
期刊： 软件学报， 21(1): 1-13,2010
影响因子： --
作者： []
通讯作者：
共 28 条
    基于云计算的海量数据挖掘
    网络智能化及与语义Web相关的基础理论与关键技术研究
    • 批准号：
      90604017
    • 项目类别：
      重大研究计划
    • 资助金额：
      48.0万元
    • 批准年份：
      2006
    • 负责人：
      史忠植
    • 依托单位：
      中国科学院计算技术研究所
    基于感知学习和语言认知的智能计算模型
    网络信息的智能获取理论研究
    • 批准号：
      90104021
    • 项目类别：
      重大研究计划
    • 资助金额：
      30.0万元
    • 批准年份：
      2001
    • 负责人：
      史忠植
    • 依托单位：
      中国科学院计算技术研究所
    国内基金
    海外基金