IRC log of dig on 2006-09-11
Timestamps are in UTC.
- 00:09:31 [lkagal]
- lkagal (n=lkagal1@98.68.171.66.subscriber.vzavenue.net) has joined #dig
- 03:01:11 [lkagal]
- lkagal has quit ()
- 06:50:55 [Biblio]
- Biblio has quit (Read error: 60 (Operation timed out))
- 08:15:17 [tlr]
- tlr (n=roessler@ip-83-99-50-11.dyn.luxdsl.pt.lu) has joined #dig
- 11:22:19 [RalphS]
- RalphS (n=swick@30-7-207.wireless.csail.mit.edu) has joined #dig
- 11:27:47 [timbl]
- timbl has quit ()
- 12:22:00 [timbl]
- timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
- 12:35:41 [djweitzner]
- djweitzner (n=djweitzn@30-5-139.wireless.csail.mit.edu) has joined #dig
- 12:43:33 [lkagal]
- lkagal (n=lkagal1@98.68.171.66.subscriber.vzavenue.net) has joined #dig
- 12:43:38 [lkagal]
- lkagal has quit (Client Quit)
- 12:44:42 [lkagal]
- lkagal (n=lkagal1@98.68.171.66.subscriber.vzavenue.net) has joined #dig
- 13:12:59 [tlr]
- tlr has quit (Read error: 104 (Connection reset by peer))
- 13:13:16 [tlr]
- tlr (n=roessler@ip-83-99-70-191.dyn.luxdsl.pt.lu) has joined #dig
- 13:13:36 [tlr]
- tlr has quit (Client Quit)
- 13:14:30 [tlr]
- tlr (n=roessler@ip-83-99-70-191.dyn.luxdsl.pt.lu) has joined #dig
- 13:34:12 [DanC_lap]
- DanC_lap (n=connolly@rrcs-67-78-64-2.sw.biz.rr.com) has joined #dig
- 13:34:35 [DanC_lap]
- ah... hope springs eternal ("Tabulator release today.")
- 13:35:17 [DanC_lap]
- timbl, I'm now scheduled to give at least 3 talks on semantic web proof at U.T. Austin this week, and I'm struggling to put slides together because I'm hitting cwm bugs everywhere I turn
- 13:40:49 [timbl]
- DanC, I think you and I need to wprok on cwm proof
- 13:41:16 [timbl]
- esp now you have it your head and have aneed!
- 13:41:32 [timbl]
- I will pair with you but I won't be able to code a lot
- 13:49:47 [jfisteus]
- jfisteus (i=jaf@30-6-86.wireless.csail.mit.edu) has joined #dig
- 13:50:56 [DanC_lap]
- oh. hi tim
- 14:32:01 [DanC_lap]
- I think I tried 3 different directions and hit brick walls each way, last night. Lemme capture the problems in mail before I head to breakfast.
- 14:47:42 [timbl]
- timbl has changed the topic to: DIG (http://dig.csail.mit.edu/ ) ∃ today { Tabulator release today }.
- 14:56:30 [DanC_lap]
- tim, I think I know where the bug with bnodes and proof is; I don't see an easy fix
- 14:57:04 [DanC_lap]
- it's why.BecauseOfRule.explain(), when it iterates over the evidence.
- 14:57:17 [DanC_lap]
- (by the way... I don't understand why includes is treated exceptionally there)
- 14:58:55 [lkagal]
- lkagal has quit ()
- 15:10:13 [harveyj]
- harveyj (n=harveyj@PIERCE-THREE-SEVENTY-NINE.MIT.EDU) has joined #dig
- 15:15:24 [harveyj]
- hi folks, i have lecture mw 11-12:30 and 1-2:30 this term, so i'll have to miss monday meetings
- 15:15:37 [DanC_lap]
- there's no DIG meeting today
- 15:16:00 [harveyj]
- ok
- 15:42:39 [lkagal]
- lkagal (n=lkagal1@30-5-242.wireless.csail.mit.edu) has joined #dig
- 16:29:12 [harveyj]
- harveyj has quit ()
- 16:50:04 [djweitzner]
- djweitzner has quit ()
- 16:59:40 [harveyj]
- harveyj (n=harveyj@dhcp-18-188-69-193.dyn.MIT.EDU) has joined #dig
- 17:04:11 [djweitzner]
- djweitzner (n=djweitzn@30-5-139.wireless.csail.mit.edu) has joined #dig
- 17:31:05 [DanC_lap]
- DanC_lap has quit (Read error: 110 (Connection timed out))
- 17:46:32 [harveyj]
- harveyj has quit ()
- 17:48:32 [harveyj]
- harveyj (n=harveyj@dhcp-18-188-69-193.dyn.MIT.EDU) has joined #dig
- 18:02:19 [ryanlee]
- ryanlee (n=ryanlee@WHITAKER-ELEVEN-SIXTY-THREE.MIT.EDU) has joined #dig
- 18:16:54 [harveyj]
- harveyj has quit ()
- 18:31:40 [lkagal]
- lkagal has quit (Remote closed the connection)
- 18:32:13 [lkagal]
- lkagal (n=lkagal1@30-5-242.wireless.csail.mit.edu) has joined #dig
- 18:50:25 [timbl]
- timbl has quit (Read error: 110 (Connection timed out))
- 18:50:52 [timbl]
- timbl (n=timbl@m615e36d0.tmodns.net) has joined #dig
- 18:52:54 [RalphS]
- RalphS has quit (Read error: 110 (Connection timed out))
- 18:56:27 [jfisteus]
- jfisteus has quit (Remote closed the connection)
- 19:23:56 [djweitzner_]
- djweitzner_ (n=djweitzn@30-5-139.wireless.csail.mit.edu) has joined #dig
- 19:23:56 [djweitzner]
- djweitzner has quit (Read error: 104 (Connection reset by peer))
- 19:24:20 [tlr]
- tlr has quit ("leaving")
- 19:24:59 [lkagal_]
- lkagal_ (n=lkagal1@w3cdhcp24.w3.org) has joined #dig
- 19:30:42 [djweitzner]
- djweitzner (n=djweitzn@30-108-217.dynamic.csail.mit.edu) has joined #dig
- 19:34:28 [timbl_]
- timbl_ (n=timbl@30-108-217.dynamic.csail.mit.edu) has joined #dig
- 19:39:40 [lkagal]
- lkagal has quit (Read error: 110 (Connection timed out))
- 19:47:22 [RalphS_]
- RalphS_ (n=swick@31-33-217.wireless.csail.mit.edu) has joined #dig
- 19:47:57 [djweitzner_]
- djweitzner_ has quit (Read error: 110 (Connection timed out))
- 19:49:31 [timbl_]
- Danc, yes, we may have to keep track of the phraes of rdf which are added when a rule fires, instead of statements.
- 19:51:47 [timbl_]
- Log:incldues is treated differently because it is implemented differently, because variables can be bound by matching the includes.
- 19:54:49 [ryanlee]
- ryanlee has quit ()
- 19:59:48 [timbl]
- timbl has quit (Read error: 110 (Connection timed out))
- 21:27:21 [djweitzner]
- djweitzner has quit ()
- 21:28:05 [timbl_]
- timbl_ has quit ()
- 21:40:05 [DIGlogger]
- DIGlogger (n=dig-logg@pink-panther.csail.mit.edu) has joined #dig
- 21:40:05 [leguin.freenode.net]
- topic is: DIG (http://dig.csail.mit.edu/ ) ∃ today { Tabulator release today }.
- 21:40:05 [leguin.freenode.net]
- Users on #dig: DIGlogger RalphS_ lkagal_ eikeon DanC sandro
- 21:41:54 [RalphS_]
- RalphS_ has quit ("bye for today")
- 21:46:54 [djweitzner]
- djweitzner (n=djweitzn@30-5-139.wireless.csail.mit.edu) has joined #dig
- 21:47:18 [djweitzner]
- djweitzner has quit (Client Quit)
- 23:27:50 [Biblio]
- Biblio (i=jdypc@200.49.140.210) has joined #dig