The Formal Semantics of OWL-S

The current work and the existing problem of the semantic Web services are analyzed in this paper, espe- cially the formal semantics of semantic Web services description ontology OWL-S. Based on the work of Sriui Narayanan,et al, the formal semantics of service composition description of OWL-S is further studied through situa- tion calculus theory, so the formal semantics of OWL-S is perfected. The work of this paper provides reasonable the- ory foundation for semantic Web services.