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