DAML CongoProcess example question

• From: Vera Zaychik <vzaychik@atl.lmco.com>
• Date: Thu, 05 Dec 2002 16:27:12 -0500
• To: www-ws@w3.org
• Message-ID: <3DEFC4B0.E36C839@atl.lmco.com>

Hello,

here is an excerpt from CongoProcess.daml defining PutInCart atomic
process:
<daml:Class rdf:ID="PutInCart">
 <rdfs:subClassOf
rdf:resource="http://www.daml.org/services/daml-s/0.7/Process.daml#AtomicProcess"/>

 <rdfs:subClassOf>
  <daml:Restriction>
   <daml:onProperty
rdf:resource="http://www.daml.org/services/daml-s/0.7/Process.daml#input"/>

  </daml:Restriction>
 </rdfs:subClassOf>
</daml:Class>

Now, here's a question. Is that a valid DAML? Any restriction on
property is supposed to be to something, either value or class or
cardinality. Right? What is this restriction restricting?

Thanks,
Vera Zaychik
LM ATL

Received on Thursday, 5 December 2002 16:29:06 UTC