questions about Process.owl

Drew and all -

I removed the "[[ ]]" comments of yours, Drew, from Process.owl. They
are all excellent questions, and I don't know the answers. I think Mark
is the best person to shed light on these questions (copied below).

I'd also like to add a new question of my own, for you, Drew: Do we
need to have both Produce and Write, and what's the distinction
between them?

Here are your questions...

[[ I don't understand how this (valueFunction) is supposed to work or
why the comment
           about it is on the valueForm declaration! ]]

I moved the comment to the right place. Note that there is another
explanatory paragraph about valueFunction earlier in the file.

====================================================================

[[ Why does the following restriction apply only to atomic processes? ]]

<owl:Class rdf:about="#AtomicProcess">
     <rdfs:subClassOf>
       <owl:Restriction>
         <owl:onProperty rdf:resource="#hasClient"/>
         <owl:hasValue rdf:resource="#TheClient"/>
       </owl:Restriction>
     </rdfs:subClassOf>
     <rdfs:subClassOf>
       <owl:Restriction>
         <owl:onProperty rdf:resource="#performedBy"/>
         <owl:hasValue rdf:resource="#TheServer"/>
       </owl:Restriction>
     </rdfs:subClassOf>
</owl:Class>

====================================================================

<Perform rdf:ID="TheParentPerform">
   <rdfs:comment>
     A special-purpose object, used to refer, at runtime, to the execution
     instance of the enclosing composite process definition.
   </rdfs:comment>
</Perform>

[[ Why aren't these the same? You can't have both in the same context (sort
of lik Clark Kent and Superman). ]]

<Perform rdf:ID="ThisPerform">
   <rdfs:comment>
     A special-purpose object, used to refer, at runtime, to the execution
     instance of the enclosing atomic process definition.
   </rdfs:comment>
</Perform>

Cheers,
David

--
[To unsubscribe to this list send an email to "majdart@bbn.com"
with the following text in the BODY of the message "unsubscribe daml-process"]