S的形式语义‘’.PDFVIP

计算机科学2005Vo1.32N2.7 OWL-S的形式语义 ’‘ 蒋运承 ‘史忠植， (广西师范大学数学与计算机科学学院 桂林541004) (中国科学院计算技术研究所 北京100080)2 摘 要 本文分析了目前语义Web服务的研究现状和存在的问题，特别是语义Web服务描述本体OWL-S的形式语 义研究中存在的问题，在SriniNarayanan等人研究的墓础上，用情景演算理论进一步研究了OWL-S中组合服务描述 的形式语义，从而完善了OWL-S的形式语义，为语义Web服务提供了合理的理论基拙。 关键词 语义Web服务，OWL-S，情景演算，形式语义 TheFormalSemanticsofOWL-S JIANGYun-ChengSHIZhong-Zhi2 (CollegeofMathematicsandC