00:07:06 logger has joined #rdfig 00:07:06 topic is: Semantic Web Channel: Less chat more hack | http://www.w3.org/RDF/Interest/#irc 00:07:06 Users on #rdfig: logger oierw theran lasDesk1 danbri bijan dc_rdfig eikeon sandro deltab em Bayta filsa AaronSw jang 00:07:06 This channel is logged and blogged: http://logicerror.com/rdfIRCWelcome 00:07:59 DanC has joined #rdfig 00:15:36 Logic has joined #rdfig 00:15:46 No ops? 00:16:22 Logic has quit 00:36:16 sbp has joined #rdfig 00:38:56 chaals has joined #rdfig 00:39:10 * chaals waves 00:42:22 sbp has quit 01:02:24 theran has quit 01:28:11 chaals has quit 02:37:38 jhendler has joined #rdfig 02:38:56 jhendler has left #rdfig 03:24:28 * DanC surfs a bit... 03:56:57 ChanServ has changed the topic to: Semantic Web Chat - http://www.w3.org/RDF/Interest/#irc 03:57:08 This channel is logged and blogged: http://logicerror.com/rdfIRCWelcome 08:49:23 dajobe has joined #rdfig 09:05:10 morning dave 09:05:22 * dajobe waves 09:05:50 hmm, I see no topic again. Is it just me? 09:06:17 It's just you. I see 'Semantic Web Chat etc', set by ChanServ 09:06:22 (did someone automate that?) 09:06:35 AaronSw tried but it keeps getting dropped 09:07:04 danbri has changed the topic to: Semantic Web Hackery - http://www.w3.org/RDF/Interest/#irc 09:07:10 Did that work? 09:07:13 yes 09:07:15 http://lists.w3.org/Archives/Public/www-archive/2001Sep/0008.html 09:07:15 A: http://lists.w3.org/Archives/Public/www-archive/2001Sep/0008.html from danbri 09:07:49 A:|Working SOAP/Java RDF query client (using Apache's Axis SOAP implementation) 09:07:49 titled item A 09:08:47 A:A quick hack of a demo to show how it might work; idea is to contrib this as a driver to [Inkling|http://swordfish.rdfweb.org/rdfquery/]; see also [Apache Axis pages|http://xml.apache.org/axis/]. 09:08:48 commented item A 09:09:27 A:Thanks to Glen Daniels for help understanding some SOAP issues (notably conventions for serializing hashtables / Maps) 09:09:27 commented item A 09:13:10 http://ilrt.org/discovery/2001/07/rdf-syntax-grammar/ 09:13:10 B: http://ilrt.org/discovery/2001/07/rdf-syntax-grammar/ from dajobe 09:13:20 B:|Refactoring RDF/XML Syntax 09:13:20 titled item B 09:13:20 (RDF Core WD-to-be) 09:13:26 B:|Refactoring RDF/XML Syntax (RDF Core WD-to-be) 09:13:27 titled item B 09:13:44 B:I am working on this today; last call for comments, typos, outright arguments 09:13:44 commented item B 09:16:07 B:I've foolishly made one change I might remove, if you read this later in the day - RDF IDs are now XML IDs. I might delete this since it is probably beyond my editorial authority. 09:16:07 commented item B 09:38:26 only things declared with are XML IDs. I doubt very much that very many RDF IDs are XML IDs. 09:51:33 Can't XML Schema declare XML IDs? 09:54:13 lasDesk1 has quit 09:57:22 A:I've just posted a slightly [cleaned up version|http://lists.w3.org/Archives/Public/www-archive/2001Sep/0009.html] of the code. Next job: understanding Map serialization. (I need this for a MedCERTAIN deliverable on RDF aggregators...) 09:57:22 commented item A 10:05:40 rreck has joined #rdfig 10:09:49 hi rreck 10:10:02 hello, how goes it ? 10:10:15 busy but well; yourself? 10:10:23 its a holiday here 10:11:44 cool 10:12:53 DanC, rdf/xml 1.0 syntax said: IDsymbol ::= (any legal XML name symbol) which is slightly different (looser) than an XML ID. Hence my worry about amending that from http://www.w3.org/TR/REC-xml#NT-Nmtoken to be the new XML ID constraint. Some parsers, including I think Repat, ARP validate RDF IDs as XML IDs 10:13:34 including the constraint that you only have one of a given value per the enclosing XML doc? 10:13:50 that constraint is in the latter XML 1.0 revised constraint 10:14:05 right 10:16:50 so I'm 70%/30% for reverting to old constraint, at least for now 10:17:25 sounds reasonable to me; it's only a 1st WD, can change it later if need be. 10:18:00 I'll invert the ISSUE nearby to suggest the possible change in future. 10:57:55 B:now reverted to existing constraint, ISSUE nearby discussing this as a potential change 10:57:55 commented item B 11:22:27 yes, looks much better 11:22:42 doesn't work for Konqueror though 11:23:37 * dajobe notes Konqueror has a disable window.open() config option now :) 11:35:43 B:added html and style changes so inserted/deleted bits work with Netscape 4.7x 11:35:44 commented item B 11:55:26 ambient has joined #rdfig 11:58:56 jang has quit 12:06:38 jang has joined #rdfig 12:25:43 ArtB has joined #rdfig 13:44:30 AaronSw has quit 14:03:57 just read the latest (over here) dr dobbs' journal, bijan... 14:04:05 (the distributed applications one) 14:04:15 Mike Swaine actually onw asserts... 14:04:17 1. SW = AI 14:04:24 2. SW = AI that is actually doable 14:04:33 (thank goodness that finally came through!) 14:04:41 3. SW = doable AI that might be intelligent 14:04:50 well, 1.5 out of three isn't bad. 14:16:02 jang has quit 14:22:29 jang has joined #rdfig 14:36:50 testing network... 1... 2... 3... 14:45:53 strange... I can connect to about one in 5 internet hosts. Some part of sprintlink seems hosed 15:01:00 is it quality-controlled? 15:01:09 can you only connect to sites with good content? 15:01:22 _that'd_ be something worth paying money for 15:05:38 tav` has joined #rdfig 15:59:49 what does q in qLiteral stand for? 16:01:36 quoted; but don't read anything into names of tokens :) 16:01:49 thanks 16:21:45 DanC: in section 2a of new MT, (exists (?y)(and (a ?y b)(b c ?y)(a c ?y))) should be (exists (?y)(and (a ?y b)(b c ?y)(a ?y c))) 16:22:32 (or _:x a c should be c a :_x) 16:25:15 * DanC tunes in... 16:25:44 ambient, do I know you? 16:25:51 no 16:25:52 new MT... pointer? 16:26:08 err, it says http://www.w3.org/TR/2001/WD-rdf-mt-@@ 16:26:22 but it's on my hard disk, so dunno what the real url is :) 16:26:35 I've got 30 minutes... I think I'm gonna try to develop a Yapps KIF parser in that time. http://logic.stanford.edu/kif/dpans.html 16:27:42 ambient, does it say $Revision: 1.8 $ of $Date: 2001/08/29 03:38:44 $ ? 16:27:57 yes 16:28:39 yes, c and ?y are jumbled. 16:31:53 I told Pat 17:02:30 edd has joined #rdfig 17:04:12 http://validator.w3.org/check?uri=http%3A%2F%2Fxmlhack.com%2F&doctype=Inline 17:04:13 C: http://validator.w3.org/check?uri=http%3A%2F%2Fxmlhack.com%2F&doctype=Inline from edd 17:04:23 C:|XMLhack now valid XHTML 17:04:23 titled item C 17:05:40 C:(well, modulo any naughty XMLhack contributors ignoring the warnings about invalid content.) 17:05:40 commented item C 17:05:48 C:this was possible thanks to changing advertising providers. 17:05:48 commented item C 17:05:58 edd has quit 17:07:56 * danbri blinks; misses Edd 17:10:09 hmm... the KIF grammar isn't LL(1). need 2 tokens of lookahead to see what's up. 17:10:32 that sounds familiar; its RDF/XML all over again 17:11:07 I think I can parse quoterms with LL(1). Just can't tell the difference between, say, a definition and a sentence in LL(1). 17:24:43 * DanC gets a test to pass... checks in kifExpr.g,v 1.1 2001/09/03 17:22:00 17:24:59 http://www.w3.org/2000/10/swap/kifExpr.g 17:24:59 D: http://www.w3.org/2000/10/swap/kifExpr.g from DanC 17:25:10 D:|kifExpr.g -- a Yapps grammar for KIF Expressions 17:25:10 titled item D 17:28:39 D:also: [hypertext kifExpr grammar|http://www.w3.org/2000/10/swap/kifExpr.html] 17:28:39 commented item D 17:29:02 D:hmm... many of the rules in this grammar are sorta irrelevant... 17:29:02 commented item D 17:29:30 D:I was trying to parse KIF forms, but they're not LL(1) unless I combine the ( token with the one that follows it. I'll probably give that a try 17:29:31 commented item D 17:29:56 D:transcribed from [dpans KIF spec|http://logic.stanford.edu/kif/dpans.html] 17:29:56 commented item D 17:30:15 A:Next up: contrasting the [latest snapshot|http://lists.w3.org/Archives/Public/www-archive/2001Sep/0010.html] with [Inkling's use of JDBC|http://lists.w3.org/Archives/Public/www-archive/2001Sep/0013.html] and refining both. See also [Glen's notes on Apache/Axis plans|http://lists.w3.org/Archives/Public/www-archive/2001Sep/0012.html]. 17:30:15 commented item A 17:32:09 * DanC wanders off to feed the kids lunch... 17:36:15 dajobe has quit 18:03:27 /clear 18:19:52 ambient has quit 18:21:01 AaronSw has joined #rdfig 18:34:39 /j swartzfam 18:34:40 hi Aaron 18:34:48 oops 18:34:51 hi danbri 18:35:23 How 18:35:28 How's it going? 18:36:51 * danbri wonders if #swartzfam is some new sekret OpenSource project ;-) 18:36:59 heheh 18:37:01 goes well, goes busy, goes commitmentjugglingly well... 18:37:12 how're you doing? 18:37:16 day off today? 18:37:27 nope, no luck 18:37:30 my brothers have one tho 18:37:55 eek, Python segfaulted on me! 18:38:28 yuk 18:38:31 hmz... looks like the regexp got stuck in an infinite loop 18:52:13 * AaronSw finds first issue of wired while cleaning 18:56:54 Hasn't changed much. 18:57:02 leigh has joined #rdfig 18:57:16 evening 18:57:50 * danbri thanks Aaron for yet-more-Python help :) 18:57:59 hello, leigh 18:58:04 hiya 18:58:11 Hi Leigh! Good to here from someone who knows when evening is 18:58:17 lol! 18:58:28 just tried out AskWeb, dan. 18:58:43 what other time of day could it be? :) 18:59:00 * AaronSw is enjoying a beautiful afternoon 18:59:11 Did it work? Was nothing fancy, should've... 18:59:32 yep, although I converted it to a Junit test case to fit in with my other stuff 19:00:12 neat! Was talking with Libby about all that work you did, and getting Inkling into visible CVS for collective hacking 19:00:20 Junit sounds right way to go 19:01:19 Libby's off at ECDL (dig library conf in germany) for the week, but said today it'd be a shame to check current organisation of Inkling into CVS only to change it all to take account of your (wise) suggestions 19:01:30 A checkin and egg situation... ;-) 19:01:31 * danbri ducks 19:01:48 heh. I was thinking along same lines 19:02:01 lines as...? 19:02:08 shared CVS 19:02:21 I've not done much this month, but have put in a few more hours this weekend 19:02:52 RDFGraph is now much tidier. Nearly finished tinkering with that package, can then move onto JDBC related stuff 19:03:18 I'll post it somewhere... 19:03:24 * danbri fond of RDFGraph for historical reasons 19:03:43 I've treated it with respect! ;) 19:03:57 I found my first RDF Java classes a few days ago; FTP'd the tar.gz in ASCII mode and wiped originals before realising. Doh! 19:04:26 I'll have another copy knocking around somewhere, but it was crap so I'm not bothered. Feb 1998; predecssor to RDFGraph etc. 19:06:20 posting RDFGraph somewhere would be nice. I'd like to see how you've tidied it! My version was pretty scruffy and I think it got hairier subsequently 19:06:40 2 secs... 19:06:56 The JDBC stuff was what I was looking at today. I think the names libby used for variables where the main reason I found it counter-intuitive. That and the fact I've mostly forgotten JDBC anyhow. 19:08:02 http://www.bath.ac.uk/~ccslrd/inkling/inkling_source_20010903.zip 19:08:02 E: http://www.bath.ac.uk/~ccslrd/inkling/inkling_source_20010903.zip from leigh 19:08:09 current snapshot of my source 19:08:12 A:I've also posted an update to the [Python RDF query SOAP client|http://lists.w3.org/Archives/Public/www-archive/2001Sep/0015.html] (thanks again to Aaron for Python help). 19:08:12 commented item A 19:08:59 E:|Leigh's cleanup of the [Inkling|http://swordfish.rdfweb.org/rdfquery]/RDFGraph Java sources 19:08:59 titled item E 19:09:07 http://www.bath.ac.uk/~ccslrd/inkling/log.txt is my worklog 19:09:08 F: http://www.bath.ac.uk/~ccslrd/inkling/log.txt from leigh 19:09:32 E:Leigh's cleanup of the [Inkling|http://swordfish.rdfweb.org/rdfquery]/RDFGraph Java sources 19:09:32 commented item E 19:09:47 E:|Inkling RDFGraph 19:09:47 titled item E 19:10:05 there's still more to be done, so consider it a work in progress 19:10:25 E:See also [Leigh's work-in-progress log|http://www.bath.ac.uk/~ccslrd/inkling/log.txt] 19:10:25 commented item E 19:10:39 Thanks! 19:10:47 Just commenting it for the logs so I can find it again 19:10:51 I should probably learn how to annotate stuff... 19:11:42 how about sourceforge for inkling? 19:12:57 That could be interesting. We've got a shiny new CVS server at cvs.ilrt.org too, but no anon access yet nor much supporting infrastructure (esp for offsite collaborators). 19:13:10 I'll ask Libby 19:14:10 ok 19:14:36 done (sms :) 19:14:54 dajobe has joined #rdfig 19:15:24 I'm wondering about scope: I have a class provisionally org.w3c.inkling.soap.AskWeb for doing SOAP/Squish queries, but wary of bloating main package, dependencies etc... 19:16:25 I've been putting pure test stuff in a test.* root. and apps in an org.desire.rudolf.app package 19:17:06 * danbri wonders whether the query / method name table would be useful for (documentory) mapping to other RDF APIs. ie: 19:17:08 N N N getAllTriples() 19:17:09 Y N N getViaSubject() 19:17:09 Y Y N getViaSubjectPredicate() 19:17:09 Y Y Y getSpecificTriple() 19:17:09 N Y N getViaPredicate() 19:17:10 N Y Y getViaPredicateObject() 19:17:11 Y N Y getViaSubjectObject() 19:17:13 N N Y getViaObject() 19:17:28 ...could have columns for Jena, Mozilla, Redland etc method names, if that made sense. 19:18:13 quite possibly yes, although those methods don't do the work, they generate anonymous inner classes responsible for doing the specific type of query. 19:18:26 funny, I was just editing org.librdf.redland.inkling today... 19:19:53 * danbri intrigued: what does the redland class do? 19:20:56 work in progress; provides access to redland models inside inkling 19:21:59 via the RDFModelCore API? You could do via Jena too, since the Inkling query stuff sits over that 19:22:13 yes and yes, I noticed that 19:22:15 or SiRPAC/Stanford... Though Jena's nicer 19:23:30 leigh, did you zip up the tests too? 19:23:50 yes, everything is in there. the tests are very bare bones for now. 19:23:53 ignore me, I missed them; they're at the top level. 19:26:09 that's a wierd zip file; all the directory permissions came out od on unix. Never seen that with jars or other zips 19:26:31 its was built with Ant 19:29:32 well it looks pretty messed up to me; unzip then hand-patch in order to look at any files 19:30:33 same here; Ant's doing something wrong, though no big deal to chmod it back to sanity 19:30:44 hand patch: find . -type d -exec chmod 755 {} \; 19:30:50 hmmm, I'm on Win98, haven't unpacked it on unix. Just using the ant zip task to produce it. I'll take a look tomorrow 19:33:31 * danbri heads off 19:33:35 happy hacking! 19:33:37 bye 19:33:41 cheers, bye 19:33:48 * leigh is off as well, getting late 19:34:12 oops, there goes the evening (again...) 19:34:17 cya - let me know if there's anything else odd/wrong in my hackings. 19:34:23 leigh has quit 20:08:02 danbri has quit 20:09:21 theran has joined #rdfig 20:54:07 D:ok... [kifForm.g|http://www.w3.org/2000/10/swap/kifForm.g] done, along with [kifForm hypertext grammar|http://www.w3.org/2000/10/swap/kifForm.html] 20:54:07 commented item D 21:06:28 http://citeseer.nj.nec.com/stone97efficient.html 21:06:29 G: http://citeseer.nj.nec.com/stone97efficient.html from DanC 21:06:51 D:|Efficient Constraints on Possible Worlds for Reasoning about Necessity (1997) 21:06:52 titled item D 21:07:04 D:by Matthew Stone 21:07:05 commented item D 21:08:02 D:in notation3/cwm, implies is a predicate, ranging over formulas. i.e. formulas are objects in the domain of discourse. Possible worlds semantics is the only mechanism I've seen for making sense of this. 21:08:03 commented item D 21:08:30 D:I understand how the propositional operators (and/or/not/implies) work in possible worlds, but I'm trying to figure out how quanitification works. 21:08:30 commented item D 21:11:54 hphph. 21:12:05 G:|Efficient Constraints on Possible Worlds for Reasoning about Necessity (1997) 21:12:05 titled item G 21:12:17 G:in notation3/cwm, implies is a predicate, ranging over formulas. i.e. formulas are objects in the domain of discourse. Possible worlds semantics is the only mechanism I've seen for making sense of this. 21:12:18 commented item G 21:12:29 G:I understand how the propositional operators (and/or/not/implies) work in possible worlds, but I'm trying to figure out how quanitification works. 21:12:29 commented item G 21:12:35 D:|kifExpr.g -- a Yapps grammar for KIF Expressions 21:12:35 titled item D 21:12:53 D:see also: [KIF spec|http://logic.stanford.edu/kif/dpans.html], dpans version 21:12:53 commented item D 21:13:06 D:oops... misplaced several annotations about possible worlds stuff there. 21:13:06 commented item D 21:15:14 G:oh yeah... (Kripke, 1963)... I've seen several allusions to that. Gotta read that one (or better yet: a more recent treatment of it. recommendations, anyone?) 21:15:14 commented item G 21:30:01 sbp has joined #rdfig 21:39:59 sbp has quit 21:45:06 sbp has joined #rdfig 21:45:41 sbp has quit 21:56:17 SethR has joined #rdfig 21:58:38 anyone want to talk about what a semantic web server might look like? 22:00:25 I imagine it'd be an interface to a knowledge base 22:00:39 I'd be interested in hearing about one. 22:00:42 yep 22:01:26 but then how do we connect the style sheets of how the RDF is served to the client ? 22:02:11 lets say a client hits the server with a uri of a RDF node ... 22:02:31 the server is gonna serve that node back to the client ... 22:03:08 but what style sheet is used? .. and here is my point ... maybe the client wants to see something human friendly and not the xml\rdf stuff 22:05:17 perhaps the client wants to send a transaction that looks like get(uri) with (display profile) 22:06:32 The server could provide suggestions 22:07:12 ok, then how does it get displayed in the browser automatically according to the user's preference? 22:07:21 cookies 22:07:50 cool that would work 22:07:58 anybody doing it that way? 22:08:50 I did something similar on theinfo.org. 22:09:30 oh? ... i didnt know you had a rdf store working there? 22:09:43 well that's why it's similar -- it's not RDF 22:09:52 It has an RDF interface, tho 22:10:31 when you gonna put a storage on it? 22:11:47 when i get some free time ;-) 22:12:14 what did you think of sean's [metadata button] ? 22:12:29 It's a neat idea 22:12:37 but the problem is hard 22:12:48 what probelm is hard? 22:13:00 and embedding RDF in XHTML naturally 22:13:05 err s/and// 22:14:11 well, there is a generalized way of thinking in which rdf in xhtml is only a special case 22:15:27 so you dont got to have rdf at all ... all you got to have is a heuristic for describing pages in rdf .. if you can find the rdf, great, but if you cant, you just generate it anyway ... like google 22:15:34 right 22:16:29 so a button going to a server backed by a rdf store is all you need ... well that and the heuristic of course 22:17:36 so if we get those .. then we should be able to start threading the sem web .. no? 22:17:39 * filsa pokes his head in. 22:17:55 where can i see Sean's [metdata button]? 22:18:09 http://infomesh.net/2001/05/sw/ 22:18:09 H: http://infomesh.net/2001/05/sw/ from SethR 22:18:18 thanks! 22:19:11 H: | Sean's [metadata for this page] button 22:19:11 commented item H 22:19:59 that uses the xhtml->rdf stylesheet from a couple days ago, huh? 22:20:09 yep 22:20:14 very cool. 22:20:38 aaron: btw, the schema is going well. i'm working on a mailbox demo now 22:20:50 great 22:24:14 * AaronSw wanders off 22:24:33 * filsa gets rady for labor day hike 22:24:37 er, ready. 22:24:44 filsa is now known as [filsa] 22:30:07 dajobe has quit 22:33:49 http://robustai.net/mentography/serverSemWeb.gif 22:33:49 I: http://robustai.net/mentography/serverSemWeb.gif from SethR 22:34:14 I| Diagram of semantic web server 22:35:15 I:|Diagram of semantic web server 22:35:15 titled item I 22:35:42 so, aaron, is that what we are talking about ? 22:39:07 I: So who's got a server that does this ?? 22:39:07 commented item I 22:42:08 Bayta has quit 22:45:15 Bayta has joined #rdfig 22:49:47 Bayta has quit 23:13:54 G:hmm... googling on Kripke 1963 yields a nifty-looking [Possible Worlds Semantics|http://www.csc.liv.ac.uk/~mjw/pubs/ker95/subsection3_2_3.html] page 23:13:55 commented item G 23:14:44 Bayta has joined #rdfig 23:15:57 sbp has joined #rdfig 23:20:07 * sbp goes through the logs; just missed Seth! Rats 23:20:44 Heh, he's sketched a mentography for it already 23:21:11 im still here 23:21:20 Hi! 23:21:37 So, what have I missed? 23:22:30 not much .. aaron came up with the idea of using cookies to identify the display profile 23:23:03 Have you seen DanC's SW arcs and nodes diagrams thing? 23:23:31 - http://www.w3.org/2001/02pd/ 23:24:14 yeah i think i saw those 23:25:02 it works by applying an N3 stylesheet to a set of rules in order to generate a DOT file. Perhaps that bears some analogy to the thing that you're proposing? 23:27:50 I:Hmm... this is something that swi-dev@yahoogroups.com should be tackling 23:27:50 commented item I 23:28:03 i dont know ... actually i see some kind of program that just generates the html ... an intermediate step might be to just find a xslt transform that will work on the rdf .. but probably it will need to do some more queries into the rdf storage to see the kind of data to display for the particular users profile .. . not sure were talking about the same thing yet or not though 23:30:12 actually we could start with my challenge ... show me a RDF node that i can't display in human readable terms !! 23:30:12 yeah, the problem is the scope of the application: if we're talking abou querying something, XSLT just isn't enough. You need something to do the query. For example: http://webns.net/ - the form queries the SWAG database, and outputs the results in XHTML 23:30:38 O.K., wait a second and I'll find one 23:32:01 well im assuming that all the data needed for the display will be in the rdf-storage .. so its just a matter of writing a search strate4gy on the rdf-store that will generate some kind of xml that the transform can cange into html 23:32:19 Well hang on; first we need to define what "human readable terms" are. If you want an RDF node that is unintelligble to many people, that's easy 23:32:39 Yep, that's what inferences are for 23:32:53 Have you seen the Simpsons thing that I did? 23:32:59 no i want it immediately and intuitively understandable to the average joe 23:33:13 yes on the simpsons 23:34:19 Well, that has it all! Inferences, queries, screen scraping, use of N3 and XML/RDF, output using XSLT into XHTML 23:34:21 so show me a rdf node that i cant do that with 23:34:49 well, how about http://www.w3.org/2000/10/swap/log#resolvesTo 23:34:55 all of that is under the simpson page? ... url please, i forot it 23:35:36 oh damn it, TimBL added a description to "resolvesTo". I thought he wouldn't have done 23:35:44 URI: http://infomesh.net/2001/05/simpsons/ 23:35:44 Label URI not found. 23:36:06 The output doesn't work because the W3C's XSLT service has gone down... let me fix it... 23:38:46 ta da: http://infomesh.net/2001/05/simpsons/quotes/ 23:39:23 ok .. that node is fairly easy .. bear in mind that if the topic of a node is a very technical subject, then the human display of that node will not be intelligable to somneone who is not familure with that culture 23:40:15 oh, I've got a good one: tag:infomesh.net,2001-8-7:URI 23:41:07 daaa .. i cant vance on that one 23:41:50 heh heh heh 23:41:56 actually you can... 23:42:04 off: wanna see the smaller versions of mystery lights that elaine made? 23:42:35 try: http://lists.w3.org/Archives/Public/www-archive/2001Sep/0001 23:42:42 the syntax is [off] 23:42:47 and, yes please :-) 23:43:58 Hmm... that's weird: where did the attachment go to that mail? 23:44:07 Grr... I'll have to post it on infomesh.net 23:44:45 http://infomesh.net/2001/09/tag.txt 23:44:45 J: http://infomesh.net/2001/09/tag.txt from sbp 23:44:54 J:|Python CGI For TAG URI 23:44:55 titled item J 23:45:17 J:Converts a [http://www.taguri.org/|TAG URI] into an HTTP URI 23:45:17 commented item J 23:45:25 J:Non-authoritative! 23:45:25 commented item J 23:46:15 like im gonna run that just to get that URL .. he has to be joking 23:46:50 Ah, but it's a CGI: it can be run as a form. And the algorithm is simple enough so that you can work it out just by looking at the TAG 23:47:18 change tag:server,y-m-d:x to http://server/y/m/d/x 23:47:59 * sbp actually meant tag:infomesh.net,2001-08-07:URI 23:48:41 but there's nothing at http://infomesh.net/2001/08/07/URI (yet). You have to find the place where the implementations define that URI 23:48:45 so the url is http://infomesh.net/2001-8-7/ ? 23:48:59 convert the dashes into slashes 23:49:02 - http://infomesh.net/2001/08/07/URI 23:49:19 not found 23:49:48 Yep, I know :-) 23:50:05 "there's nothing at http://infomesh.net/2001/08/07/URI (yet). You have to find the place where the implementations define that URI" 23:50:29 In that respect, the Semantic Web is rather interesting... 23:50:41 anyway http://www.w3.org/2000/10/swap/log#resolvesTo is a good enough example ... when i get a chance ill put up a page that expressess that node as a human friendly page ... ok 23:51:05 well, personally I think that the N3 is already "human readable" 23:51:20 If it were in SemEnglish, it would probably be even more so 23:51:44 BTW: is there a BNF or other proper grammar for SemEnglish so that I can build a parser for SWIPT for it? 23:51:44 Label BTW not found. 23:52:18 yep .. ill chump it again 23:52:36 cheers 23:52:48 I know about the one at http://robustai.net/mentography/semenglish.html 23:53:03 is there a BNF? 23:53:21 no this is actual bnf .... well my style of bnf .. you should be able to read the bnf directly off the diagram 23:53:29 http://robustai.net/mentography/SyntaxSemenglish7.gif 23:53:29 K: http://robustai.net/mentography/SyntaxSemenglish7.gif from SethR 23:54:00 K:|BNF for Semenglish 23:54:00 titled item K 23:54:28 yeah, that should be fine. O.K., a couple of questions then 23:54:53 is 7 equivalent to "7"? 23:55:07 K: [and some supplenental diagrams for my style of BNF|http://robustai.net/mentography/SyntaxBacusNaur1.gif] 23:55:07 commented item K 23:55:49 rreck has quit 23:56:10 do we have to declare http nsPrefix http everytime we use HTTP URIs etc.? Or is that automatic for all prefixes, that they are URIs unless something says otherwise? 23:56:42 the 'that' clause for reifying is questionable .. now i tend to agree that {statement} is a pretty good way to reify 23:57:02 it doesn't reify: it creates a context with one statement as a member 23:57:19 well... it reifies implicitly 23:57:22 but we cant distinguish between that and reification, can we? 23:57:34 yes, if you go right down to the model 23:58:09 { :x :y :z } = [ :statement [ :subj :x; :pred :y; :obj :z ] ] . 23:58:22 *not* { :x :y :z } = [ :subj :x; :pred :y; :obj :z ] . 23:58:41 so that you can do:- 23:59:05 { :a :b :c . :x :y :z } = [ :statement [ :subj :a; :pred :b; :obj :c ], [ :subj :x; :pred :y; :obj :z ] ] . 23:59:46 hmmm .. i might need to noodel about that .. can i past it into a mentograph and get back with you ?