MathServe - A Framework for Semantic Reasoning Services

The MathServe framework for semantic reasoning services is based on a service-oriented architecture and integrates automated reasoning systems and related systems as Semantic Web Services. The semantics of MathServe’s reasoning Web Services is described using the OWL-S upper ontology. Data about the performance of reasoning services is provided in OWL-S service profiles as conditional probabilistic effects. This data can be used to select suitable services for specialised reasoning tasks. The MathServe broker is a middle agent which provides service matchmaking and composition facilities. Service composition in MathServe combines classical planning and decision-theoretic reasoning in the situation calculus language Golog. In my talk, I'm going to present the MathServe framework with a focus on the service composition approach chosen for the MathServe broker. I will also discuss two evaluations of the framework.