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.


  • Different components within WSMX necessitate efficient and different reasoning functionality:
    • Discovery
      • Simple ontological reasoning and query answering as well as logical entailment between preconditions and postconditions of SWS and Goals
      • Both description logic-based and logic programming–based reasoning is required.
    • Selection
      • Evaluation of the logical rules that are used to model the non-functional properties of services
      • Logic programming–based reasoning is required.
    • Data mediation
      • Ontology mapping rules, source instances and source and target schema information are loaded into the reasoning space where rules are evaluated in order to produce target instances.
      • Logic programming–based reasoning is required.
    • Process Mediation
      • Reasoning is used to check whether messages are expected at the certain phase of the communication.
      • Evaluation of transition rules is required.
  • Different reasoning functionality is provided to WSMX through WSML2Reasoning framework.

Speaker notes:

Content Tools


There are currently no sources for this slide.