W3C home > Mailing lists > Public > www-ws@w3.org > December 2002

DAML CongoProcess example question

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

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 July 2007 12:25:41 GMT