ControlConstructList/Bag issue

• From: Daniel Elenius <daele@ida.liu.se>
• Date: Wed, 23 Jun 2004 17:30:58 +0200
• To: public-sws-ig@w3.org
• Message-ID: <40D9A232.2080909@ida.liu.se>

I've discovered a problem with the ControlConstructList/Bag in 
Process.owl. When instantiating a list of one of these types, there is 
no way to end the list - the "nil" instance is an instance of the 
superclass shadow-rdf:List, but the "rest" property of 
ControlConstructList/Bag is restricted to ControlConstructList/Bag. In 
other words, I guess there should be two new nil instances in 
Process.owl, one which is an instance of ControlConstructList, and one 
for ControlConstructBag.

-- 
Daniel Elenius
Usable Ubiquitous Research Group (U2)
Department of Computer and Information Science
Linköping University, Sweden
Tel: +46 13 28 56 06, Fax: +46 13 142 231

Received on Wednesday, 23 June 2004 11:31:01 UTC