An Ontology for Semantic Reasoning Web Services:

For our service descriptions we developed a domain ontology in the Web Ontology Language OWL.
A small fragment of our ontology can be seen in the following figure:
The MathServe Ontology


The full ontology in OWL format can be found here. The ontology of TSTP result statuses can be found here.



This page is under construction!
Contact:
Last modified: Fri Sep 22 17:00:59 CEST 2006