Problem with damlsParameter

Hi!

In Grounding.daml, "damlsParameter" is defined as follows:

<daml:ObjectProperty rdf:ID="damlsParameter">
  <rdfs:comment>
    An input or output property of an atomic process.
  </rdfs:comment>
  <rdf:type
rdf:resource="http://www.daml.org/2001/03/daml+oil#UniqueProperty"/>
  <rdfs:domain rdf:resource="#WsdlMessageMap"/>
  <rdfs:range rdf:resource="&process;#parameter"/>
</daml:ObjectProperty>


This implies that "&process;#parameter" must be a Class, right?
But in Process.daml we find:


<daml:Property rdf:ID="parameter">
  <rdfs:domain rdf:resource="#Process"/>
  <rdfs:range 
rdf:resource="http://www.daml.org/2001/03/daml+oil#Thing"/>
</daml:Property>


So, parameter is a Property. What gives? (This gives me an error in JTP,
and that's what I'm trying fix).

I can see that the idea is that the damlsParameter should point to an
input/ouput in the process model. I can't see a simple solution though.
Perhaps the easiest thing to do is to have the range of damlsParameter
be "&daml;#Thing"

Have I misunderstood something?

Regards,
Daniel

Received on Friday, 18 April 2003 05:55:18 UTC