Process Input and Output

The process ontology shows the various types of processes we can have.

The LocateBook service is atomic, so we declare it as such:

 <process:AtomicProcess rdf:ID="LocateBook">
  <process:hasInput>
    <process:Input rdf:ID="BookName">
      <process:parameterType rdf:resource="&xsd;#string"/>
    </process:Input>
  </process:hasInput>
  <process:hasOutput>
    <process:ConditionalOutput rdf:ID="LocateBookOutput">
      <process:coCondition rdf:resource="#InCatalogueBookInstance"/>
                        <process:parameterType rdf:resource="LocatedBookOutput"/>
    </process:ConditionalOutput>
  </process:hasOutput>
</process:AtomicProcess>

This also says that LocateBook takes as input a BookName, which is a string
The output is conditional. If #InCatalogueBookInstance then return LocatedBookOutput.