In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO （inputs, outputs） descriptions which may result in one-sidedness, a description-logic...In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO （inputs, outputs） descriptions which may result in one-sidedness, a description-logic-based IOPE （inputs, outputs, preconditions, effects） description and matchmaking method is proposed for semantic web service. The description logic concept is used to annotate service IO and the description logic assertion is employed to describe service PE（preconditions, effects）. TBox subsumption checking is used to measure the subsumption relationship between IO descriptions of service request and advertising; ABox consistency checking is used for checking the logical implication between PE descriptions of service request and advertising. Based upon the logical implication, four kinds of PE matching degrees are proposed to measure and compare the pros and cons of the results of matchmaking. They are the exact, perfect, side-effect and common match. Experiments show that the method has a higher precision rate under the same recall rate compared with the existing method.展开更多
文摘In order to solve the problem that the current matchmaking methods for semantic web service mainly focus on the matchmaking of IO （inputs, outputs） descriptions which may result in one-sidedness, a description-logic-based IOPE （inputs, outputs, preconditions, effects） description and matchmaking method is proposed for semantic web service. The description logic concept is used to annotate service IO and the description logic assertion is employed to describe service PE（preconditions, effects）. TBox subsumption checking is used to measure the subsumption relationship between IO descriptions of service request and advertising; ABox consistency checking is used for checking the logical implication between PE descriptions of service request and advertising. Based upon the logical implication, four kinds of PE matching degrees are proposed to measure and compare the pros and cons of the results of matchmaking. They are the exact, perfect, side-effect and common match. Experiments show that the method has a higher precision rate under the same recall rate compared with the existing method.
