[Gzz-commits] journals benja

[Benja Fallenstein]

CVSROOT:        /cvsroot/fenfire
Module name:    journals
Branch:         
Changes by:     Benja Fallenstein <address@hidden>      03/06/07 17:00:28

Modified files:
        .              : benja 

Log message:
        today so far

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/fenfire/journals/benja.diff?tr1=1.60&tr2=1.61&r1=text&r2=text

Patches:
Index: journals/benja
diff -u journals/benja:1.60 journals/benja:1.61
--- journals/benja:1.60 Thu Jun  5 14:43:08 2003
+++ journals/benja      Sat Jun  7 17:00:28 2003
@@ -45,6 +45,59 @@
 Past:
 -----
 
+2003-06-07 [3h, 19.30-22.30]:
+
+- think about systematic URIs for structures:
+  in logical programming, you have e.g. lists
+  which are structures; relations between these
+  lists are then asserted. possibly it would be
+  useful to use structures in RDF, so that a
+  structure is defined by a URI (not by the
+  connections of the URI)? e.g., (long) ::
+  
+    http://fenfire.org/2003/struct?tag:fenfire.org,
+    2003-06:prepend+http://fenfire.org/RDF/Fenfire+
+    (tag:fenfire.org,2003-06:prepend+http://gnu.org
+    +tag:fenfire.org,2003-06:nil)
+
+  This URI would represent the list:
+
+    [http://fenfire.org/RDF/Fenfire, http://gnu.org]
+
+  i.e., a list with two elements. In a more Haskell-like
+  notation than the URI above, we could write, ::
+
+    prepend Fenfire (prepend GNU eol)
+
+  where the individual symbols stand for the full URIs, ::
+
+    prepend = tag:fenfire.org,2003-06:prepend
+    Fenfire = http://fenfire.org/RDF/Fenfire
+    GNU     = http://gnu.org
+    nil     = tag:fenfire.org,2003-06:nil
+
+  The whole thing could be interesting e.g. when we want
+  to represent functional or logic programming in RDF,
+  but do not want RDF structures to be *created* as a
+  side-effect of the execution of the program, or something.
+- Think about semantic spreadsheets (maybe should call these
+  structural spreadsheets, or maybe not). Basically like a
+  spreadsheet, but for RDF statements: you feed it formulas
+  and it creates virtual RDF statements in your graph.
+
+  I should PEG this at some point.
+  This needs the equivalent of virtual cells, obviously,
+  and a working Loom, and is still quite some way off.
+
+  The big thing about this is that it allows 'spreadsheets'
+  that talk about *interesting* things-- Ben loves Anna,
+  I'm going to Morocco this summer-- instead of only about
+  numbers. This is part of the vision of FF, to me.
+- Misfix FenPDF's hang in my VM.
+- Recommence work on FenPDF. Make the lower panel bigger. 
+
+2003-06-06: nothing
+
 2003-06-05 [2.5h, 16.15-18.45, 19.15-]:
 
 - discuss prior art for sig article with Tuomas