Instruction Generator

A possible request to Instruction Generator service, listening at http://owl.vse.cz:8080/ontologyTransformation/instructions, is as follows:

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

tp=http://nb.vse.cz/~svabo/patomat/tp/tp_hasSome2.xml&binding=<pattern_instance><binding placeholder="?p">hasDecision</binding><binding placeholder="?B">Decision</binding><binding placeholder="?A">Paper</binding><binding placeholder="?C">Rejection</binding></pattern_instance>

Parameter 'binding' is the output from Ontology pattern detection service.

A possible response from Instruction generator service is as follows:

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

<instructions tp="http://nb.vse.cz/~svabo/patomat/tp/tp_hasSome2.xml">
<entities>
<rename type="ObjectProperty" original_name="hasDecision">hasDecision</rename>
<rename type="Class" original_name="Paper">Paper</rename>
<rename type="Class" original_name="Rejection">Rejection</rename>
<rename type="Class" original_name="Decision">Decision</rename>
</entities>
<oppl_script>
<remove>hasDecision domain Paper</remove>
<remove>hasDecision range Decision</remove>
<remove>Rejection subClassOf Decision</remove>
<add>hasDecision domain Paper</add>
<add>hasDecision range Decision</add>
<add>Rejection subClassOf Decision</add>
<add>!RejectedPaper equivalentTo (hasDecision some Rejection)</add>
</oppl_script>
<annotations>
</annotations>
</instructions>

The output XML format has the following structure as XML DTD, http://nb.vse.cz/~svabo/patomat/tp/instructionsOutput.dtd:

<!ELEMENT instructions (entities,oppl_script,annotations)>
<!ELEMENT entities (remove+,rename+)>
<!ELEMENT oppl_script (remove+,add+)>
<!ELEMENT annotations (add)>
<!ELEMENT entity (#PCDATA)>
<!ATTLIST entity
  original_name NMTOKEN #REQUIRED
  type NMTOKEN #REQUIRED>
<!ELEMENT remove (#PCDATA)>
<!ELEMENT add (#PCDATA)>