[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gzz-commits] journals benja
From: |
Benja Fallenstein |
Subject: |
[Gzz-commits] journals benja |
Date: |
Sat, 07 Jun 2003 17:00:28 -0400 |
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
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/04
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/05
- [Gzz-commits] journals benja,
Benja Fallenstein <=
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/08
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/10
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/19
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/21
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/22
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/22
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/23
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/24
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/27
- [Gzz-commits] journals benja, Benja Fallenstein, 2003/06/27