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.
Reasoners
- 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.
- Simple ontological reasoning and query answering as well as logical entailment between preconditions and postconditions of SWS and Goals
- Selection
- Evaluation of the logical rules that are used to model the non-functional properties of services
- Logic programming–based reasoning is required.
- Evaluation of the logical rules that are used to model the non-functional properties of services
- 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.
- 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.
- Process Mediation
- Reasoning is used to check whether messages are expected at the certain phase of the communication.
- Evaluation of transition rules is required.
- Reasoning is used to check whether messages are expected at the certain phase of the communication.
- Discovery
- Different reasoning functionality is provided to WSMX through WSML2Reasoning framework.
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.