Re: rdf:List

On Mon, 2003-05-05 at 08:43, Peter F. Patel-Schneider wrote:
> From: Jeremy Carroll <jjc@hpl.hp.com>
> Subject: rdf:List
> Date: Fri, 2 May 2003 23:08:26 +0300
> 
> > The RDF Core group is discussing a late last call comment from a developer 
> > which proposes that triples of the form
> > _:x rdf:type rdf:List .
> > should not be produced by the
> >   rdf:parseType="Collection"
> > construct, but that it should only produce rdf:first and rdf:rest triples. 
> > [1][2]
> > 
> > I and Dave Beckett have opposed, on the grounds this construct was put in for 
> > OWL, (based on daml:collection) and this is what webont asked for.
> > 
> > Peter, at my invitation, has indicated he would oppose this change. [3]
> > 
> > However, RDF Core is deadlocked, so I have indicated that I am willing to 
> > shift my oppose to an abstain if I do not get strong support from WebOnt 
> > before the next RDF Core meeting (Friday 9th).
> > 
> > Comments?
> 
> The reason that I'm opposed to the change is that it would mean that these
> nodes would not have typing information associated with them.

Ah; that makes sense. (I hadn't put 2 and 2 together previously.)

>   The
> requirement for typing information for all nodes in OWL DL came from you, I
> believe.  If you think that typing information is not required for list
> nodes, then why did you agitate for this requirement?

Perhaps Jeremy, like me, didn't connect the two issues previously.

There was some talk about doing a certain amount of RDFS-style inference
of types in DL syntax processing. But we decided against that, and
while this is, in some sense, new information, I don't think the
question should be reopenend just for this.

> > Jeremy
> > 
> > [1] http://www.w3.org/2001/sw/RDFCore/20030123-issues/#timbl-03
> > [2] http://lists.w3.org/Archives/Public/www-rdf-comments/2003JanMar/0586.html
> > [3] http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Apr/0273.html
> 
> peter
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Monday, 5 May 2003 09:57:18 UTC