Verifying Service Choreography Model Based on Description Logic

Figure 8

Average query time for the four ontologies (VICODI, LUBM, Semintec, and Wine).