Ontology Transformation

A possible request to Ontology Transformation service, listening at http://owl.vse.cz:8080/ontologyTransformation/transformation, is as follows:

POST /ontologyTransformation/transformation HTTP/1.1
Host: owl.vse.cz:8080

ontology=http://nb.vse.cz/~svabo/oaei2009/data/cmt.owl&instructions=<instructions><oppl_script><remove>hasDecision domain Paper</remove><remove>hasDecision range Decision</remove><remove>Acceptance subClassOf Decision</remove><add>hasDecision domain Paper</add><add>hasDecision range Decision</add><add>Acceptance subClassOf Decision</add><add>!AcceptedPaper equivalentTo (hasDecision some Acceptance)</add></oppl_script><entities><rename type='ObjectProperty' original_name='hasDecision'>hasDecisionPaper</rename><rename type='Class' original_name='Paper'>Paper</rename><rename type='Class' original_name='Decision'>Decision</rename></entities></instructions>

Parameter 'instructions' is the output from Instruction generator service.

A possible response from Ontology transformation service is transformed ontology as it follows:

HTTP/1.1 201 Created
Content-Type: text/xml;charset=ISO-8859-1

...
<owl:Class rdf:about="#AcceptedPaper">
  <owl:equivalentClass>
      <owl:Restriction>
	  <owl:onProperty rdf:resource="#hasDecisionPaper"/>
	  <owl:someValuesFrom rdf:resource="#Acceptance"/>
      </owl:Restriction>
  </owl:equivalentClass>
</owl:Class>

...