Re: ill-formed lists in OWL Full

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