-
题名基于动态描述逻辑的Web服务自动组合技术
被引量：3
- 1
-
-
作者
陈立民
王竹晓
史忠植
-
机构
中国科学院智能信息处理重点实验室
中国科学院研究生院
-
出处
《高技术通讯》
CAS
CSCD
北大核心
2011年第1期58-64,共7页
-
基金
国家自然科学基金（60775035）,863计划（2007AA01Z132）,973计划（2007CB311004）和国家科技支撑计划（2006BAC08B06）资助项目.
-
文摘
提出了一种利用动态描述逻辑（DDL）的动态推理自动组合Web服务的方法。DDL是描述逻辑（DL）的一种动态扩展，它结合本体提供的静态信息与Web服务提供的计算，统一地描述和推理Web环境中静态信息与动态知识。该方法充分利用Web服务组合中涉及的静态知识（如描述逻辑知识库刻画的领域公理、具体环境和用户需求等）和动态知识（DDL中动作刻画的Web服务的功能），将Web服务组合的问题归约为DDL公式的可满足性问题，并通过一个可判的表扩展算法解决。开发了基于动态描述逻辑D—ALCHOQ的原型系统，并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景。
-
关键词
WEB服务
Web服务自动组合wsc)
语义WEB
描述逻辑(dl)
动态描述逻辑
(Ddl)
-
Keywords
Web services, automatic Web service composition （WSC）, semantic Web, description logic （dl）, dynamic description logic （Ddl）
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名支持链式桥规则的分布式动态描述逻辑
- 2
-
-
作者
张建华
史忠植
岳金朋
齐保元
蒋运承
王晓峰
-
机构
中国科学院计算技术研究所智能信息处理重点实验室
中国科学院大学
华南师范大学计算机学院
中国科学院计算技术研究所无线传感器网络实验室
-
出处
《高技术通讯》
CAS
CSCD
北大核心
2014年第5期452-457,共6页
-
基金
973计划(2013CB329502)
国家自然科学基金(61035003
+7 种基金
60933004
61202212
61072085
)
863计划(2012AA011003)
国家科技支撑计划(2012BA107B02)
中国信息安全测评中心课题(CNITSEC-KY-2012-006/1)资助项目
-
文摘
研究了链式桥规则在分布式动态描述逻辑(D3L)中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用。在动态描述逻辑(DDL)推理和D3L推理的基础上,提出了支持链式桥规则的分布式动态描述逻辑(CD3L)推理算法。该算法首先判断能否在一个DDL系统内部进行推理,然后再判断能否在两个D3L系统间进行推理,最后通过CD3L在多个D3L系统中进行推理。与D3L相比,新提出的CD3L弥补了传统桥规则描述逻辑系统的不足,为信息系统集成和语义网提供了更为合理的逻辑基础。
-
关键词
描述逻辑(dl)
动态描述逻辑(Ddl)
分布式动态描述逻辑(D3L)
桥规则
链式桥规则
-
Keywords
description logic （dl）, dynamic description logic （Ddl）, distributed dynamic description logic（D3L） , bridge rule, bridge rule chain
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
