owl—s的形式语义

本文分析了目前语义web服务的研究现状和存在的问题，特别是语义web服务描述本体owl-s的形式语义研究中存在的问题，在srininarayanan等人研究的基础上，用情景演算理论进一步研完了owl—s中组合服务描述的形式语义，从而完善了owl—s的形式语义，为语义web服务提供了合理的理论基础。