Re: tips on converting an open list to a closed collection?

> Does anyone have any tips for writing n3 rules (cwm or euler) that can
> convert an open collection (Bag, for instance) to a closed collection
> (rdf:List)?
> 
> I've been able to go from rdf:List -> rdf:Bag, but haven't figured out
> how to do the other way.
> 
> Any tips or hints would be greatly appreciated.

Of course it requires extra information to do this, right?   You need
to say 

   1.   here are a bunch of elements in list L, in order 
   2.   that's all there is.

The "that" in line 2 is pretty hard to say; it needs to point to an
RDF graph (aka N3 formula).  The predicate for this kind of explicit
closed-world logic is log:notIncludes [1].  My sense is that what you
want should be possible using it.  But maybe not -- after a couple
minutes of thinking about it, I can't see how to do it.  So there's a
hint, at least.  :-)    You might grep through the tests for
notIncludes and see if what you want has already been done.   If not,
and you figure it out, please pass it along.

    -- sandro

[1] http://www.w3.org/2000/10/swap/doc/Reach

Received on Tuesday, 24 June 2003 17:48:32 UTC