00:01:38 i think y connection is flaky today 00:02:08 and what is it that you run, again? 00:02:26 hmM? 00:42:29 MorbusIff (~Morbus@s92.terminal3.totalnetnh.net) has joined #swhack 00:45:19 kmacleod (~ken@kmacleod.static.iaxs.net) has joined #swhack 00:45:45 kmacleod has quit (Client Quit) 00:50:32 anything exciting happening recently? 00:50:53 dunno 01:00:23 Morbus has quit (Read error: 113 (No route to host)) 01:05:51 MorbusIff has quit (Read error: 104 (Connection reset by peer)) 01:45:35 Morbus (~Morbus@s92.terminal3.totalnetnh.net) has joined #swhack 02:23:02 viva los alamos! 02:23:03 Morbus has left #swhack 02:23:27 .google "viva los alamos!" 02:23:28 "viva los alamos!": http://www.sensurroundstagings.com/html/ContentViva1.html 02:39:33 GabeW (~Gabe@12-236-237-100.client.attbi.com) has joined #swhack 03:03:11 GabeW has quit ("Client Exiting") 03:11:08 * sbp listens to "Rhapsody In Blue" 03:19:12 GabeW (~gwachob@12-236-237-100.client.attbi.com) has joined #swhack 03:20:52 what do you think, sbp? 03:22:05 masterpiece, of course 03:22:11 * sbp is still listening to it 03:22:21 I'm writing something at the mo', and it's so inspirational 03:22:57 Nice. 03:22:58 * sbp put sit on again 03:23:55 By contrast, Strawberry Fields feels like you're tripping or something. 03:24:31 Wohoo I solved an extreamly hard sokoban puzzle 03:38:48 I just found that my Number Theory teacher has written papers on election methods that have improvements over Condorcet. That's really cool. 03:46:06 Wow, Dvorak managed to diss Internet users, cluetrainers and those who are pushing for drug legalization in the same sentence. 03:47:12 what sentence would that be? 03:47:46 it's in http://www.pcmag.com/article/0,2997,s=1493&a=23131,00.asp 03:49:06 Chris Locke: "Dvorak's initially promising career writing for Datamation back in the 1900's was sadly cut short by his fondness for shooting heroin and circle jerks with young boys, spinning and chanting and hugging, all naked. 03:49:08 " 03:51:58 Whoa, Jack Valenti has a whole article dissing Larry Lessig. http://www.washingtonpost.com/wp-dyn/articles/A62085-2002Feb24.html 03:53:24 Jack Valenti isn't really part of the debate - he's just a tool 03:53:33 Of whom? 03:53:47 uh, the movie industry 03:53:59 THe point is that his comments aren't really substantive or meaningful 03:54:24 Um. He's said the most substantive things I've heard from his side. 03:54:39 What have you heard that's more substantive or meaningful? 03:54:52 I think hillary rosen's arguments are at least more substantive 03:54:56 Hm. 03:54:59 All I've gotten is "Sharing is bad" and "Copy protection is good". 03:55:10 yeah, thats pretty much the argument on their side 03:55:39 I don't follow their rhetoric too closely 04:02:28 wmf (wesf@cs242733-11.austin.rr.com) has joined #swhack 04:02:47 looks like OmniCrashCatcher now supports Entourage 04:02:55 oh? 04:03:06 yeah, so now I can send in crash reports 04:03:46 GabeW2 (~gwachob@12-236-237-100.client.attbi.com) has joined #swhack 04:03:51 Ah, I got you now. 04:03:56 GabeW has quit (Read error: 113 (No route to host)) 04:04:07 I thought you meant that it reported Entourage crashes for a second... 04:04:11 GabeW2 is now known as GabeW 04:04:35 it used to *cause* Entourage crashes, though 04:04:49 GabeW has quit (Client Quit) 04:07:43 man, supercomputers are flaky 04:13:40 Guido: "I used to practice an improvised form of modern dance called contact improv on most Sundays, but I've only been back there once since Orlijn's birth." 04:13:45 - http://www.gnu-friends.org/story/2002/2/25/17162/1443 04:14:10 Mmmkay 04:14:40 heh 04:15:31 Heh, the wallops are funny. 04:16:14 paste, paste! 04:16:31 For any of you who use Livejournal, I have created an OpenProjects.net community, visit http://www.livejournal.com/userinfo.bml?user=openprojects to join! 04:16:32 You're listening to WOPN, the premier wallops station of the Open Projects Network. We bring you non-critical (but nevertheless interesting) news, messages, and random funnies! If you'd prefer not to listen to us, simply do /mode YourNick -w to turn off the receiver. Thank you for using the Open Projects Network. 04:16:50 heh, WOPN... 04:16:55 It wasn't that funny, I admit... 04:19:26 Oh, that's neat. You can do /ns instead of /msg nickserv 04:19:37 convenient 04:19:50 if you set an alias, anything's possible 04:20:08 Yeah, but this is built into the server. /ms and /cs work too. 04:20:09 I could set "/a" to do "/msg AaronSw bork.bork.bork" 04:20:15 in the server? neat 04:20:40 * wmf creates alt.fan.aaronsw.bork.bork.bork 04:20:52 Heh! 04:21:18 * AaronSw gets first post... 04:21:49 hey! what happened to alt.fan.wmf? 04:22:36 alt.fan.wmf? I'm still here 04:23:12 oh, you mean the group... 04:23:53 -- 04:23:53 What groups are not appropriate to alt? 04:23:53 [...] 04:23:54 2. Vanity groups that only serve to fluff up your ego. 04:23:54 [...] 04:23:54 4. Joke or revenge groups 04:23:56 5. Groups that seem designed or destined to be offensive enough to start huge flame wars (e.g. alt.fan.hitler) 04:23:58 -- 04:24:19 sorry, I'm correcting people on /. instead of paying attention 04:24:59 * AaronSw catches up on alt.adjective.noun.verb.verb.verb 04:26:16 heh, cool .sig: alt.Tim.Cramm.came.saw.conquered 04:26:27 Hmm, no alt.newsgroups.spam.spam.spam 04:28:42 * AaronSw makes notes to forward future sbp pedanticism to alt.sbp.pedantic.stop.stop.stop 04:29:16 * AaronSw wonders why he is still on the NASA email list for NASA run-ins with the law 04:29:18 heh, heh. That post was good, wunnit? 04:30:52 NASA list: I blame the emergence of weird new tofu flavours 04:31:51 due to the interconnectedness of all things, I just may be right 04:33:46 Hmm... most people seem to spell "interconnectedness" with a "Dirk" these days 04:51:55 @ http://www.chillingeffects.org/ 04:51:59 A: http://www.chillingeffects.org/ from AaronSw 04:52:15 A:|Chilling Effects: A Cease-and-Desist Notice Clearinghouse 04:52:16 titled item A 04:52:59 A::"The website offers background material and explanations of the law for people whose websites deal with topics such as Fan Fiction, Copyright, Domain Names and Trademarks, Anonymous Speech, and Defamation." 04:52:59 commented item A 04:53:41 A::via [Slashdot|http://slashdot.org/article.pl?sid=02/02/25/1732220&mode=thread&tid=123]. "If you have received a Cease & Desist, we invite you to add it to the database, where law students will analyze the legalese and annotate the C&Ds with Frequently Asked Questions and answers." 04:53:42 commented item A 05:00:18 Heh: the silly student / he writes really bad haiku / readers all go mad 05:00:18 [ Parent ] 05:04:48 GabeW (~gwachob@12-236-237-100.client.attbi.com) has joined #swhack 05:05:23 I really don't understand this Register publishing thing. 05:05:45 Like do they deliver the stories to Tom on floppy and he uploads them? 05:05:45 yeah 05:05:57 it doesn't really make any sense 05:15:16 any zope users in the house? 05:15:18 :-) 05:20:00 wmf has quit ("wmf has no reason") 05:32:10 monokrom (~chatzilla@208-58-240-134.s388.tnt1.atnnj.pa.dialup.rcn.com) has joined #swhack 05:33:34 * AaronSw uses zope sometimes 05:33:39 .google roy fielding dissertation 05:33:39 roy fielding dissertation: http://www1.ics.uci.edu/~fielding 05:34:13 Ah, so it seems Roy's secret job is at Day Software: "World Standard Software for Business Unification" 05:34:27 @ http://www.day.com/en/company/media/2002/fielding.html 05:34:37 B: Roy T. Fielding from AaronSw 05:34:57 B:|Roy T. Fielding, Ph.D, Joins Day As Chief Scientist 05:35:00 titled item B 05:36:14 B::Day currently uses a "software bus architecture" called ContentBus which they say is "the most innovative foundation for future delivery of content oriented Web Services through support for SOAP and UDDI protocols." 05:36:16 commented item B 05:36:39 B::Somehow I don't think he's going to let that last too long in it's current form. ;-) 05:36:40 commented item B 05:40:21 * AaronSw finishes off the RDF Core minutes 05:41:57 Today was a great telecon, purely on entertainment value. 05:43:53 Did you know that France sounds like a fleet of killer lawnmowers? Or that Dan Connolly has a highly-tuned numeric army sense? What about the upcoming Pat Hayes pullstring-doll (complete with Model Theory)? And then there's the scene where Pat Hayes loses it and screams "I understand that, what I don't understand is why anyone outside of Dublin would want to do that!!" 05:45:01 @ http://www.w3.org/2001/sw/RDFCore/20020225-f2f/ 05:45:05 C: http://www.w3.org/2001/sw/RDFCore/20020225-f2f/ from AaronSw 05:45:14 C:|On today's RDF Core telecon... 05:45:15 titled item C 05:45:49 C::The hapless WG members attempt to dial in from France, only to find that they've turned into a busy signal, or a fleet of killer lawnmowers... 05:45:52 chumpster has quit (Remote closed the connection) 05:46:00 wha? 05:47:14 chumpster (~chumpster@xcdfddb76.ip.ggn.net) has joined #swhack 05:48:16 C::Dan Connolly takes control of the situation and shows off what he learned in the army with his unpatented "This is France to Zakim, what number did I say? Over." technique... 05:48:18 commented item C 05:50:08 C::A sneak peek at the upcoming Pat Hayes Doll (complete with Model Theory) and Talking Telecon Dan Connolly (with popular phrases like: "Connolly, sorry I'm late."; "But that will destroy everything the Semantic Web Advanced Development Group has done!" and "Show me the testcases!" 05:50:11 commented item C 05:50:52 C::Best of all, see Pat Hayes scream "I *understand* it, what I don't understand is why anyone outside of Dublin would want to do that!" 05:50:54 commented item C 05:51:26 C::... All of this on today's RDF Core telecon. Check your local listings for showtimes and more information. 05:51:30 commented item C 05:52:21 AaronSw: i asked about the zope users cause i realized a dev version of the python repository, its a drop in product for zope, if you're interested in taking a look. 05:52:23 gpl. 05:52:31 they should put in on radio 05:53:03 s/realized/released. 05:54:27 hazmat, sure, got a pointer? 05:54:35 I'm sure tav would be interested too -- you should blog it. 05:54:51 oudated docs here http://www.zope.org/Members/k_vertigo/Stories/Gideon 05:55:02 sbp, the telecon? they should have MP3s of it 05:55:02 downloads here http://www.zope.org/Members/k_vertigo/Products/Gideon 05:55:13 * AaronSw secretly uploads some MP3s to AudioGalaxy 05:55:22 the docs are semantically correct but they refer to an openacs implementation 05:55:40 Heh, a Python repository written in Tcl? 05:55:42 Or did you use PyWX 05:55:47 both 05:56:02 At the megillah reading tonight we were joking that we didn't actually need to come, we could have just downloaded the MP3. ;-) 05:56:10 this version is zope based, i stoped working on the openacs. 05:56:31 cause lifes too short to deal with the bullshit 05:56:37 giggle: "MetaData aka Nobody expects the spanish inquisition" 05:56:44 :-) 05:57:31 hazmat, so this is the thing that lets me do `gideon pyutil` and then downloads and compiles (if necessary) the mxBase python library, right? 05:57:33 there are two things that you have to remember about metadata. It's data about data, it's used all over the Web, and it's part of the Semantic Web... three! there are *three* things... 05:57:37 i haven't touched the wiki since i started the zope version in december. i haven't worked on much recently i'm hoping releasing will give me some more motivation to finish it off. 05:58:00 AaronSw: nope, this is the server when packages get uploaded. 05:58:11 its about metadata :-) 05:58:14 sbp, there are three kinds of people in the world: those who can count and those who can't. 05:58:29 hazmat, so it's a web-published database of Python packages? 05:58:59 ah, so it's the server side of the thing I want? 06:00:02 AaronSw: its the server where things get uploaded, it exports some community features membership, rating ,etc. accepts a variety of metadata formats, and exports a client api 06:00:07 nice 06:00:10 its also not even close to finished :-) 06:00:30 But, but, I thought Zope was so cool and superpowered that you finished things instantly! ;-) 06:00:41 not when you write everrything from scratch 06:01:17 i wrote everything from a userfolder to a news importer (rss) to the package management, to the metadata parsers ... to the ratings etc.. 06:01:31 mainly cause i wanted to release it gpl and to have everything work cohesively. 06:02:00 its also got an older version of the event channel, and some validation stuff, and i'll shut up now :-) 06:02:34 Heh, heh 06:12:41 * AaronSw is away: sleep 06:28:21 Gotta run 06:48:37 monokrom has quit ("ChatZilla 0.8.4[Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0)]") 06:59:39 GabeW has quit ("Client Exiting") 08:34:12 .time pst 08:34:12 Feb. 26, 2002 12:35 am US/Pacific 08:48:47 .time pst 08:48:47 Feb. 26, 2002 12:50 am US/Pacific 09:33:39 .time pst 09:33:40 Feb. 26, 2002 1:35 am US/Pacific 12:38:23 wendy (~wendy@ANice-102-2-1-235.abo.wanadoo.fr) has joined #swhack 12:38:35 sbp? 12:39:38 hmmm. aaron? 12:39:49 i've got some questions on the earl model. 13:31:03 wendy has quit ("...sunny days, sweeping the clouds away...") 14:09:36 snow! 14:25:48 monokrom (~chatzilla@208-58-239-63.s63.tnt1.atnnj.pa.dialup.rcn.com) has joined #swhack 14:49:37 AaronSw has changed the topic to: "Snow!" and other observations from a purple grape. 14:49:54 AaronSw has changed the topic to: "Snow!" and other observations from a purple grape. 14:52:53 woo! we're going to sing golden triples 15:03:34 wendy (~wendy@ANice-102-2-1-235.abo.wanadoo.fr) has joined #swhack 15:45:14 hey wendy 15:45:23 * wendy waves 16:34:52 ugh, no singing 16:35:32 i promise i won't sing. 16:37:17 Heh, no -- we were going to sing at the RDF Core F2F, but didn't get to it. 16:37:35 lyrics: http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0103 16:37:38 oh bummer...yes I heard about the song. 16:37:41 libby mentioned it. 16:37:58 Ah. 16:44:06 wendy has quit ("...sunny days, sweeping the clouds away...") 16:54:44 xena has quit () 17:36:31 argh, just missed wendy 17:50:38 Morbus (~morbus@morbus.totalnetnh.net) has joined #swhack 17:51:57 Hi there Morbus 18:06:28 GabeW (~Gabe@12-236-237-100.client.attbi.com) has joined #swhack 18:13:53 lol: alt.fan.moh-kohn 18:13:56 hey there. gonna be gone all this afternoon too. 18:14:02 rebuilding a new webserver 18:27:44 bijan (bparsia@login1.isis.unc.edu) has joined #swhack 18:29:39 Morbus has quit (Read error: 104 (Connection reset by peer)) 18:33:10 Morbus (~morbus@morbus.totalnetnh.net) has joined #swhack 19:08:21 kmacleod (~ken@kmacleod.static.iaxs.net) has joined #swhack 19:08:29 SWHACK! 19:08:33 oh, hey 19:09:00 swack! 19:09:21 hey guys. 19:09:24 i'm rebuilding a server. 19:09:27 wish i could chat. 19:09:29 foo and all. 19:11:48 GabeW is now known as eric_hughes_348234 19:12:04 eric_hughes_348234 is now known as GabeW 19:15:48 kmacleod has quit ("Leaving") 20:45:07 tansaku has quit (Read error: 110 (Connection timed out)) 20:52:39 GabeW has quit ("Client Exiting") 21:06:55 kmacleod (~ken@kmacleod.static.iaxs.net) has joined #swhack 21:07:24 * sbp waves 21:07:33 Bill Kearney has bugged out on the RSS 1.0 generatorAgent field 21:07:44 Hey sean, ken. 21:07:50 hey bij! 21:08:02 hey sbp! 21:08:48 kmacleod: why do you say that? 21:09:31 Kearney has it in mind that the generatorAgent RSS 1.0 proposal is whacked in comparison to the XML comment proposal being used by RSS 0.9x 21:09:41 ... why? 21:09:44 and is not at all interested in persuing it 21:11:12 his primary concern seems to be that a URI is not a suitable alternative to a parsable string of "PACKAGE/VERSION" 21:11:23 er... 21:11:41 Them unparseable URIs are SUCH a pain! 21:11:44 I note that syndic8, as the immediate user of this information, already contains out-of-band information based on the software package 21:11:48 which is why URIs failed to create a hypermedia web with over a hundred billion identified pages. Oh, hang on... 21:12:26 in essence, tho, he's just not choosing to pursue it himself 21:13:01 ie. if RDF toolkit users want to have generatorAgent info, it's up to "somebody else" to evangelize it 21:13:45 sean: did you get my note about closed-worldness? 21:13:57 ah, yes 21:14:23 I don't know enough about the terminology to argue about it, so I'll just assume you're correct :-) 21:14:30 http://mail.bitsko.slc.ut.us/~ken/ga.txt 21:14:31 Wise. 21:15:34 Kearney also seems to be of the opinion that it is the RSS feed provider, rather than the toolkit vender, who should immediately start using the new field 21:15:55 actually, I do agree with what you wrote. But I'm just not sure whether the phrase is used mainly in that sense, because I haven't studied enough logic texts 21:16:10 heh:- 21:16:14 .google "Closed World" 21:16:19 CWH doesn't show up in logic texts. 21:16:20 oh... no xena 21:16:24 But in prolog ones. 21:16:41 well, the top result for "Closed World" is http://infomesh.net/2001/cwm/ so perhaps I *am* an authority 21:16:47 And that is how it's used. Period. Not "mainly", but *period*. 21:16:50 No,you aren't :) 21:16:58 hey, don't argue with Google! :-) 21:17:13 Have you read paul ford googlebot story? 21:17:15 On ftrain? 21:17:22 Hmm... nope. URI? 21:17:22 "I'm google for googlebots!" 21:17:27 ftrain.com 21:17:43 Oops, it's not longer top story. 21:17:56 here: http://www.ftrain.com/robot_exclusion_protocol.html 21:18:11 ``I am Google! I find many good things. I find that pair of underwear with the little dice printed all over them. 21:18:18 And I watch the tape of you with the life-sized Stallman puppet. These are good unique things. Many keywords and links! 21:18:26 My masters will say 'much good job, little robot!' Many searchers will find happy links of Stallman puppet see you! Ahhhh.'' 21:18:40 kmacleod has quit ("Leaving") 21:19:02 heh, that's quite neat 21:19:06 Yep. 21:19:13 Paul is often hilarious. 21:27:01 hazmat has quit ("ChatZilla 0.8.5 [Mozilla rv:0.9.8/20020204]") 22:00:58 chumpster has quit (carter.openprojects.net irc.openprojects.net) 22:01:25 chumpster (~chumpster@xcdfddb76.ip.ggn.net) has joined #swhack 22:02:48 tansaku (~sam@n145-230.tokyu-net.catv.ne.jp) has joined #swhack 22:14:35 bijan has left #swhack 22:20:01 bijan (bparsia@login1.isis.unc.edu) has joined #swhack 22:20:20 sbp, you around? 22:26:11 Morbus has quit ("http://www.disobey.com/") 22:32:40 * sbp waves 22:34:49 Ah! 22:35:01 some questions 22:35:26 How does one *stop* concluding instantiations of []s in consequents? 22:37:46 pardon? 22:41:22 I have: {:x :parent :y} log:implies {:y :child [:parent :y].}. 22:41:33 ANd :jane :parent :janeII. 22:41:42 When should inferencing stop? 22:42:12 I should be able to generate fresh bnodes indefinitely. 22:43:00 Hmm... interesting question 22:43:16 I presume that once you have one bNode, you should stop 22:43:24 Oh, what does log:uri mean? 22:43:28 Espeically if the subject is a literal? 22:43:30 it's the uri of a node 22:43:36 if the subject is a literal, it's void 22:43:43 Hmm. 22:43:46 since the domain of log:uri is rawtype:URI 22:43:51 void as in ''? 22:43:55 it's a node test, not a resource test... 22:43:55 Is it a string? 22:44:12 well, void as in either "can't match, query fails", or "empty string" 22:44:15 I think the forme 22:44:18 yep, it's a literal 22:44:18 Ehh! 22:44:26 It can be *either*? 22:44:33 log:uri "http://www.w3.org/" . should test true 22:44:41 Right. 22:44:53 "" log:uri :x . should fail 22:45:04 _:b log:uri :x . should fail 22:45:14 this log:forAll :x . 22:45:36 log:uri :u. :u string:startsWith "http:". ? (given bindings,e tc.) 22:45:36 either: well, it's up to your implementation :-) 22:45:50 GabeW (~Gabe@12-236-237-100.client.attbi.com) has joined #swhack 22:45:55 :u with be "http://www.w3.org", and the starts with test will pass 22:48:05 If I have [a :foo]. and [a :foo], are these two or one? 22:48:11 Two formulae or one? 22:49:00 they can't necessarily be merged, if that's what you mean 22:49:18 Ouch. 22:49:19 so you have to treat them as different statements 22:49:22 Skolem constants prolly. 23:06:04 Ok, slightly different quetsion, if I have [a :foo] in a context, should I infer a [a :foo]? 23:08:16 I.e., in an *inference* can I merge? 23:16:19 * bijan is going to assume so 23:16:49 Oh, [] in antecedents. 23:16:49 Morbus (~Morbus@s115.terminal3.totalnetnh.net) has joined #swhack 23:16:54 Does that even make sense? 23:17:30 * Morbus dance 23:17:40 * Morbus prance 23:17:42 * Morbus has bugs in his underpants 23:18:34 bijan: i know your nick, but not you. who are you? 23:18:48 Bijan Parsia. 23:18:58 Er..if that helps any :) 23:19:11 mmkay. um. 23:19:16 what do you do? 23:19:19 * sbp catches up 23:19:23 google me. 23:19:45 .google bijan parsia naked pictures 23:19:48 I treat bNodes in queries exactly the same as universals, but I don't match the variables at the end 23:19:53 what?! no xena. 23:19:58 * sbp wonders how a picture can be naked 23:20:10 It doesn't have any clothes on, d'uh. 23:20:21 silly me 23:20:23 Sean, I don't understand that. 23:20:27 * Morbus downloads latest portfolio 23:20:40 What's "exactly the same" about them? 23:21:01 If, at point of query, I generate a *fresh* id, it will never match. 23:21:17 granted, named (er) anoymous nodes will be different. 23:21:25 why would you generate a fresh ID? you should preserve them 23:21:34 Hmm? 23:21:45 [a :foo]. 23:21:54 bNodes are odd in that respect. They query like universals, but they have to be preserved like ordinary constants 23:21:59 query([a :foo]). 23:22:20 bijan: did you know there's a perfume/fragrance named after you? 23:22:28 Yes. 23:22:38 you write for ora? cool, me too. 23:22:50 in that case, you query for "?x a :Foo" and return all of the results. It acts like a universal 23:23:09 * bijan doesn't know who morbus is, and after the perfume crack, isn't sure he *wants* to :) 23:23:16 deltab has quit (carter.openprojects.net irc.openprojects.net) 23:23:20 Arrgh! 23:23:23 That's terrible. 23:23:27 heh, heh. 23:23:43 deltab (deltab@mewtwo.espnow.com) has joined #swhack 23:24:06 terrible: well, that's as much as I can gather. There have been plenty of discussions, and there's also the MT 23:24:20 Ok, I have a rule {whatever} log:implies {[a :foo]}. 23:24:21 but the model does seem odd. TimBL even noted that somewhere 23:24:43 in this case, you don't match up the bNodes 23:24:46 When I compile the rule, it basically comes out in the following form. 23:24:59 query(whatever) (ifTrue then) 23:25:16 "A is true for some objectfor which here we use B. This concept is buggy." - http://www.w3.org/2000/10/swap/log 23:25:18 not query(something about the bnode) (ifTrue then) 23:25:31 yep 23:25:44 Then assert [a :foo] (with fresh id). 23:25:57 I'me not sure about hte second query. 23:26:17 Right now, i'm thinking to check if there's *any* bnode with that property. 23:26:19 ack! i can't believe the new extensis isn't built for os x. 23:27:03 Would it be correct to add [a :foo] if there were a :a a :foo in the target context? 23:27:06 bijan: I'm not sure that you have to assert fresh IDs each time 23:27:17 I'm pretty sure that you shouldn't, in fact 23:27:28 if not, the music example from the other day will fail. 23:27:38 oh... good point 23:28:03 Well, "fail"...not do what you expected. 23:28:09 What you expected was WRONG WRONG WRONG. 23:28:10 However. 23:28:34 It's confusing definite descriptions and existential quantifiers. 23:28:41 (er..what I had was wrong too) 23:28:47 (there should be *one* result) 23:28:54 Not 27 (or however many) 23:31:49 sbp has changed the topic to: "WRONG WRONG WRONG" - excerpted from 'Observations of Bijan Parsia', available in all good bookshops 23:33:34 xena is still about... 23:33:38 -> *xena* google blargh 23:33:45 blargh: http://luciana.weblogger.com.br 23:34:07 - 23:34:07 xena is xena@mewtwo.espnow.com * xena 23:34:07 xena on #lsdevteam 23:34:08 [...] 23:34:14 ->xena: google where are you? 23:34:14 where are you: http://www.yahoo.com 23:34:18 well, the bitch! 23:34:22 heh, heh 23:44:01 Galahad (xena@mewtwo.espnow.com) has joined #swhack 23:44:17 .google her stalwart companian 23:44:18 her stalwart companian: http://home.iprimus.com.au/crothwell/books.html 23:44:21 mmhmm 23:45:53 Galahad is now known as xena 23:48:35 sean, did you tell me whether {[a :foo]} is matched by :a a :foo in a query? 23:54:51 I believe that I did 23:55:06 Did you really say, "Yes"? 23:55:18 yep 23:55:23 Ouch. 23:55:34 * Morbus rolls his shirt sleeves up. 23:56:04 But that would mean that, {whatever} log:implies {[a :foo]} would be prevented from concluding [a :foo] if there is an :a a :foo. 23:56:14 Which means EG wouldn't hold.