基于描述逻辑的语义Web服务动态复合推理和验证

• 作者: 余雪丽 李英杰 王睿
• 来源期刊: 广西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 语义Web 服务复合 描述逻辑 AI规划
• 年，卷（期）: 2007,（4）
• 页码范围: 28-31
• 页数: 4页
• 分类号: TP18
• 字数: 3277字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-6600.2007.04.007

摘要

描述逻辑具有良好的知识表示能力和强大的推理能力,AI规划具有良好的行为状态变化建模能力.将描述逻辑与AI规划相结合,提出一种基于描述逻辑的语义Web服务动态复合机制,并对其进行逻辑证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余雪丽	太原理工大学计算机与软件学院	106	793	15.0	23.0
2	王睿	太原理工大学计算机与软件学院	4	20	2.0	4.0
3	李英杰	太原理工大学计算机与软件学院	4	4	1.0	1.0