Re: proposals for Lists and Seq (ISSUE-77)

On 20 October 2011 14:28, Ivan Herman <ivan@w3.org> wrote:
> Steve, Dan
>
> Would you be ready to at least remove them from the core RDFS semanitcs, ie, the entailments?

http://www.w3.org/TR/rdf-mt/#ReifAndCont
"There are no special semantic conditions on the container vocabulary:
the only 'structure' which RDF presumes its containers to have is what
can be inferred from the use of this vocabulary and the general RDF
semantic conditions"

(alongside re collections, "As with containers, no special semantic
conditions are imposed on this vocabulary other than the type of
rdf:nil being rdf:List.")

It doesn't say a lot currently, but there is a page or so of helpful
supporting explanation. Which entailments are you suggesting we
remove? rdfs12 handling the superproperty rdfs:member?

I've no objection to removals, but I hope that any supporting
explanatory text finds a home somewhere.

Dan

Received on Thursday, 20 October 2011 12:47:52 UTC