中文摘要：

传统的Web服务技术由于缺乏机器可理解的语义而限制了Web服务的自动化，文中从语义层面对web服务的能力和属性进行描述，将Web服务机制和语义Web技术相结合，为服务用户提供本体描述方法．以教学资源本体为例，建立排课规则，将推理系统模型应用于排课系统，验证了服务语义的建模框架，从行为、体系结构和服务本体的角度比较分析了OWL—S、IRS、WSMO主流语义web服务建模框架的异同．

英文摘要：

The traditional web service technology limits the automation of web services due to lack of machine-understandable semantics. The paper describes the capabilities and attributes of web service at the semantic level. The combination of web service mechanism and semantic web technology provides the ontology description method for service users. Then aiming at the ontology of teaching resources, rules for arranging courses are established, applying the inference system model to the scheduling system, which verifies the framework of service semantics. Finally, the paper analyzes the similarities and differences between the mainstream semantic web service modeling frameworks such as OWL-S, IRS, WSMO, from the aspects of activity,architecture and service ontology.