Introduction:

MathServe is a framwork for integrating reasoning systems as Web Services into a networked environment. The functionality of these Reasoning Web Services is captured in Semantic Web Service descriptions using the OWL-S upper ontology for semantic web services. For given queries the MathServe Broker performs a ``semantic'' best match by analysing incoming problems and choosing the best service available for that problem.
The Broker can also combine services in case one single service is not sufficient to tackle a problem. With the help of the AI planning system PRODIGY  and decision-theoretic reasoning in DTGolog the broker can find promising composite OWL-S services.

If you are lucky, our online ATP interface to a MathServe broker is up an running.

---

Contact:
Last modified: Fri Sep 22 17:00:59 CEST 2006