- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Tue, 05 Aug 2003 09:38:25 -0400 (EDT)
- 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 UTC