Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Discovery – Simple Semantic Descriptions

   
 

  


  • Exact Match:
    • G, WS, O, M ╞ ∀x. (G(x) <=> WS(x) )

 
 
  •  PlugIn Match: 
    • G, WS, O, M ╞ x. (G(x) => WS(x) )
 
 
  • Subsumption Match: 
    • G, WS, O, M ╞ x. (G(x) <= WS(x) )
 
 
  • Intersection Match: 
    • G, WS, O, M ╞ x. (G(x)  WS(x) )
 
 
  • Non Match: 
    • G, WS, O, M ╞ ¬ x. (G(x)  WS(x) )
 


Speaker notes:

Content Tools

Sources

Keller, U.; Lara, R.; Polleres, A. (Eds): WSMO Web Service Discovery. WSML Working Draft D5.1, 12 Nov 2004.