W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2003

Re: ill-formed lists in OWL Full

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 05 Aug 2003 09:38:25 -0400 (EDT)
Message-Id: <20030805.093825.19659477.pfps@research.bell-labs.com>
To: jjc@hpl.hp.com
Cc: www-webont-wg@w3.org

From: Jeremy Carroll <jjc@hpl.hp.com>
Subject: ill-formed lists in OWL Full
Date: Fri, 4 Jul 2003 19:23:45 +0300

> 
> 
> 
> I can't see any constraint in the editors draft of OWL Full semantics that 
> forces rdf:first to be functional or rdf:rest to be functional even on the 
> class of OWL Lists. OWL Lists are identified with I(rdf:LIst) which does not 
> be default denote well-formed lists, but any structures at all really. 
> Although optionally we can constrain the vocabulary in the obvious ways, I 
> don't see this constraint being taken up.
> 
> I imagine that this is a bug.
> 
> Jeremy

I don't view it as a bug. 

peter
Received on Tuesday, 5 August 2003 09:38:38 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT