W3C home > Mailing lists > Public > www-rdf-rules@w3.org > June 2003

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

From: Sandro Hawke <sandro@w3.org>
Date: Tue, 24 Jun 2003 17:48:28 -0400
Message-Id: <200306242148.h5OLmSaG016225@roke.hawke.org>
To: Seth Ladd <seth@brivo.net>
cc: www-rdf-rules@w3.org


> 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

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:14 UTC