A Model for Semantic Service Matching with Leftover and Missing Information

One of the challenges of SOA is to deal with service matching which is uncertain and ambiguous. A service requester must be prepared to cope with situations where no required services are found or, on the other hand, multiple matching services are found. The paper proposes a formal model of service matching with incomplete information. The model is defined using set theory and description logics. Fuzzy logic is used to calculate the degrees of semantic matching of services and their ranking. This matching is defined by its type (exact, leftover and missing information) and service functional properties specified by OWL-S. The model is illustrated by example from a case study.