- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Fri, 4 Jul 2003 20:49:30 +0200
- To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
- Cc: www-webont-wg@w3.org
> 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. A while ago I had rdf:first a owl:FunctionalProperty. rdf:rest a owl:FunctionalProperty. in owl-rules, but Peter replied and I've them now in rdfs-rules which is of course arbitrary, just thought we needed them somewhere :-) -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ PS have good holidays Jeremy!
Received on Friday, 4 July 2003 14:50:14 UTC