语义Web服务的形式化及其组合研究 - 2012年第三届中国计算机学会服务计算学术会议.pdf

论文《语义Web服务的形式化及其组合研究》发表于2012年第三届中国计算机学会服务计算学术会议。该文探讨了语义Web服务的形式化方法，提出了一种基于描述逻辑的建模方式，以提高服务的互操作性和组合能力。研究还分析了服务组合的逻辑推理机制，为实现自动化服务集成提供了理论支持。

文档为pdf格式，0.28MB，总共8页。

2025-12-14 20:15 上传 语义Web服务的形式化及其组合研究 - 2012年第三届中国计算机学会服务计算学术会议.pdf

文件大小:

286.72 KB

下载次数:

60

语义Web服务的形式化及其组合研究 - 2012年第三届中国计算机学会服务计算学术会议.pdf ...

高速下载