Dynamic Description Logic Based Services Semantic Matching

A key issue in semantic Web services is semantic matching which is important to facilitate to reuse of Web services. Existing semantic matching technique such as ontology based, do not guarantee fulfilling the preconditions and desired effect, and hence do not guarantee the correctness of the matching results, in this paper we prose a novel semantic matching approach based on service dynamic description logic (SDDL). SDDL is used to present services specification for capturing both static information and dynamic state aspect of service function, and then semantic matching take into account all these aspects to achieve a precise matching. Furthermore not only exact matching, but also various kinds of matching degree are defined.