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

Re: ill-formed lists in OWL Full

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
Message-ID: <OF201FA41A.579CB2AD-ONC1256D59.0066F4DF-C1256D59.00676D03@agfa.be>


> 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 GMT

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