广西师范大学学报（自然科学版）2007，Vol.25Issue(4)：28-31,4.
基于描述逻辑的语义Web服务动态复合推理和验证
Reasoning and Validating of Dynamic Composition for Semantic Web Services in Description Logic
摘要
关键词
语义Web/服务复合/描述逻辑/AI规划分类
信息技术与安全科学引用本文复制引用
李英杰,余雪丽,王睿..基于描述逻辑的语义Web服务动态复合推理和验证[J].广西师范大学学报（自然科学版）,2007,25(4):28-31,4.基金项目
国家自然科学基金资助项目(60472093) （60472093）
