IRC log of dig on 2009-04-21

Timestamps are in UTC.

00:00:46 [danbri]
danbri (n=danbri@82.159.61.115.dyn.user.ono.com) has joined #dig
00:04:56 [danbri_]
danbri_ (n=danbri@89.130.83.193) has joined #dig
00:15:06 [danbri]
danbri has quit (Connection timed out)
00:20:01 [danbri_]
danbri_ has quit (Read error: 60 (Operation timed out))
04:11:45 [drrho]
drrho (n=rho@chello213047112079.11.11.vie.surfer.at) has joined #dig
05:33:03 [drrho]
drrho has quit (Remote closed the connection)
06:44:20 [timbl]
timbl (n=timbl@62.175.7.86.dyn.user.ono.com) has joined #dig
08:50:47 [timbl]
timbl has quit (Read error: 110 (Connection timed out))
10:45:24 [danbri]
danbri (n=danbri@62.82.106.5.static.user.ono.com) has joined #dig
10:57:31 [oshani]
oshani (n=oshani@62.82.106.5.static.user.ono.com) has joined #dig
11:20:19 [oshani]
oshani has quit (Remote closed the connection)
11:41:23 [RalphS]
RalphS (n=swick@30-7-151.wireless.csail.mit.edu) has joined #dig
11:42:42 [DIGlogger]
DIGlogger (n=dig-logg@groups.csail.mit.edu) has joined #dig
11:42:42 [pratchett.freenode.net]
topic is: Decentralized Information Group @ MIT http://dig.csail.mit.edu/
11:42:42 [pratchett.freenode.net]
Users on #dig: DIGlogger RalphS danbri sandro Tristan kennyluck_
11:42:55 [danbri]
danbri has quit ()
12:29:37 [oshani]
oshani (n=oshani@62.82.106.5) has joined #dig
12:30:32 [oshani]
mr-burns is down
12:30:40 [oshani]
can somebody turn on the server pls?
12:30:46 [oshani]
kennyluck_?
13:03:38 [lkagal]
lkagal (n=lkagal@33.68.171.66.subscriber.vzavenue.net) has joined #dig
13:11:21 [RalphS]
oshani, I just powered-on mr-burn
13:11:22 [RalphS]
s
13:22:42 [oshani]
thanks RalphS!
13:37:48 [danbri]
danbri (n=danbri@62.82.106.5.static.user.ono.com) has joined #dig
14:07:20 [lkagal]
sandro ?
14:07:48 [lkagal]
sandro Hi. Do you think you'll be able to present RIF at the DIG seminar this Thursday, 23rd.
14:12:14 [sandro]
How long/in-depth a presentation do you want, again, lkagal?
14:13:31 [lkagal]
The seminar is usually 1 to 1.5 hr long and includes time for questions and discussion. So approx 45 min presentation would be great.
14:16:20 [oshani]
lkagal, I met Benjamin Grosof today
14:16:35 [oshani]
he was interested in knowing about the state of AIR
14:16:39 [lkagal]
Oshani, if you see him again, please tell him I said hello
14:17:58 [oshani]
lkagal, yeah sure... In fact, I promised to show him the tools we have developed tomorrow - the AIR reasoner and the Justification UI :-)
14:18:46 [lkagal]
Great re interested in AIR. Unfortunately the latest changes (syntax and such) are not on the page.
14:19:27 [oshani]
hmm.. did Ian mention all the changes in his mail/
14:19:38 [lkagal]
Good idea to show a demo, oshani.
14:19:45 [oshani]
yeah.. that's the plan
14:20:06 [oshani]
he had a tutorial on Semantic Web Rule Languages today
14:20:19 [oshani]
he showed some business use cases using RuleML
14:20:29 [oshani]
interesting stuff!
14:21:01 [lkagal]
Sounds like fun.
14:23:24 [lkagal]
I see that Benjamin's slides are online, http://www2009.org/pdf/T12-M%20Rules.pdf definitely going through. Thanks for the update, Oshani.
14:24:22 [oshani]
Oh yeah.. however, this is the URI he gave during his talk - http://www.mit.edu/~bgrosof/#WWW2009RulesTutorial
14:24:47 [lkagal]
Great, thanks.
14:25:14 [oshani]
(I think there are some minor changes)
14:30:15 [fturkmen]
fturkmen (n=fturkmen@w3cdhcp11.w3.org) has joined #dig
14:33:57 [sandro]
lkagal, if it's going to be that long, I'd like one more week, if that works for y'all.
14:38:01 [lkagal]
sandro, maybe we could have a short presentation this Thursday followed by a more detailed discussion ?
14:38:40 [sandro]
Sure. I just don't have time to prepare much for this Thursday. But I could probably answer questions for hours.
14:39:27 [sandro]
and I don't think my demo will be working by then, but maybe in some limited ways.
14:39:47 [lkagal]
Whats the demo about ?
14:41:35 [lkagal]
sandro, if you send me a short abstract, I could send that around to the mailing list. Otherwise I'll just copy some text from the wg page.
14:41:38 [sandro]
In theory, it lets you provide rules in various languages, and it can do various standard transforms on them, output them in various languages, and in some cases run them (by translation to an implemented language).
14:42:12 [lkagal]
Wow !
14:43:22 [lkagal]
That sounds great, sandro. We'd love to see the demo of whatever you have working so far.
14:43:34 [sandro]
As I say, "in theory". :-) The one thing that more-or-less works is conversion between the RIF XML syntax and the RIF presentation syntax. Some kinds of re-writing work, and translation to prolog works for some limitted types of rules.
14:44:03 [sandro]
okay; we'll work with what we've got. :)
14:44:15 [lkagal]
translation from RIF to prolog ?
14:44:22 [sandro]
what question(s) would this "abstract" answer?
14:45:13 [lkagal]
"What is RIF, why is it important and how can I use it"
15:24:48 [lkagal]
lkagal has quit ()
15:28:32 [lkagal]
lkagal (n=lkagal@66.171.68.33) has joined #dig
15:29:43 [lkagal]
lkagal has quit (Client Quit)
15:31:34 [Pipian]
Pipian (n=Pipian@30-7-163.wireless.csail.mit.edu) has joined #dig
15:38:50 [timbl]
timbl (n=timbl@62.175.7.86.dyn.user.ono.com) has joined #dig
15:50:08 [lkagal]
lkagal (n=lkagal@66.171.68.33) has joined #dig
15:57:51 [oshani]
oshani has quit (Remote closed the connection)
16:26:11 [oshani]
oshani (n=oshani@62.82.106.5.static.user.ono.com) has joined #dig
16:27:45 [oshani]
timbl, congrats :-)
16:27:47 [oshani]
http://twitpic.com/3pwi9
16:53:35 [oshani]
oshani has left #dig
17:02:04 [timbl_]
timbl_ (n=timbl@117.Red-80-37-197.staticIP.rima-tde.net) has joined #dig
17:05:51 [danbri]
danbri has quit ()
17:15:18 [timbl]
timbl has quit (Read error: 113 (No route to host))
17:27:59 [timbl]
timbl (n=timbl@117.Red-80-37-197.staticIP.rima-tde.net) has joined #dig
17:30:32 [timbl_]
timbl_ has quit (Read error: 60 (Operation timed out))
17:50:21 [timbl_]
timbl_ (n=timbl@62.175.7.86.dyn.user.ono.com) has joined #dig
18:05:01 [timbl__]
timbl__ (n=timbl@62.175.7.86.dyn.user.ono.com) has joined #dig
18:10:17 [timbl]
timbl has quit (Read error: 110 (Connection timed out))
18:16:35 [timbl_]
timbl_ has quit (Read error: 110 (Connection timed out))
18:19:18 [timbl]
timbl (n=timbl@62.175.6.48.dyn.user.ono.com) has joined #dig
18:21:57 [timbl__]
timbl__ has quit (Read error: 60 (Operation timed out))
18:30:40 [timbl_]
timbl_ (n=timbl@62.175.7.86.dyn.user.ono.com) has joined #dig
18:33:55 [Pipian]
Pipian has quit ()
18:36:25 [timbl]
timbl has quit (Read error: 60 (Operation timed out))
18:46:27 [timbl]
timbl (n=timbl@232.Red-88-6-19.staticIP.rima-tde.net) has joined #dig
18:54:42 [timbl_]
timbl_ has quit (Read error: 113 (No route to host))
18:56:07 [timbl]
timbl has quit (Read error: 60 (Operation timed out))
19:07:29 [timbl]
timbl (n=timbl@62.175.6.48.dyn.user.ono.com) has joined #dig
19:17:25 [timbl]
timbl has quit (Read error: 60 (Operation timed out))
19:31:42 [timbl]
timbl (n=timbl@117.Red-80-37-197.staticIP.rima-tde.net) has joined #dig
20:20:28 [timbl_]
timbl_ (n=timbl@117.Red-80-37-197.staticIP.rima-tde.net) has joined #dig
20:21:34 [RalphS]
RalphS has quit ("bye for today")
20:35:33 [timbl]
timbl has quit (Read error: 113 (No route to host))
20:37:29 [timbl]
timbl (n=timbl@117.Red-80-37-197.staticIP.rima-tde.net) has joined #dig
20:40:04 [timbl_]
timbl_ has quit (Read error: 113 (No route to host))
20:50:10 [timbl_]
timbl_ (n=timbl@117.Red-80-37-197.staticIP.rima-tde.net) has joined #dig
20:58:05 [timbl__]
timbl__ (n=timbl@62.175.7.86.dyn.user.ono.com) has joined #dig
20:58:18 [timbl]
timbl has quit (Read error: 113 (No route to host))
21:02:43 [timbl]
timbl (n=timbl@117.Red-80-37-197.staticIP.rima-tde.net) has joined #dig
21:14:07 [timbl_]
timbl_ has quit (Read error: 110 (Connection timed out))
21:15:18 [timbl_]
timbl_ (n=timbl@62.175.7.86.dyn.user.ono.com) has joined #dig
21:16:35 [timbl__]
timbl__ has quit (Read error: 113 (No route to host))
21:31:42 [timbl]
timbl has quit (Read error: 110 (Connection timed out))
21:39:30 [timbl]
timbl (n=timbl@62.175.6.48.dyn.user.ono.com) has joined #dig
22:00:41 [timbl_]
timbl_ has quit (Read error: 110 (Connection timed out))
22:08:01 [timbl_]
timbl_ (n=timbl@62.175.7.86.dyn.user.ono.com) has joined #dig
22:18:43 [fturkmen1]
fturkmen1 (n=fturkmen@31-33-192.wireless.csail.mit.edu) has joined #dig
22:20:47 [fturkmen2]
fturkmen2 (n=fturkmen@30-60-173.dynamic.csail.mit.edu) has joined #dig
22:24:41 [timbl]
timbl has quit (Read error: 110 (Connection timed out))
22:31:29 [timbl]
timbl (n=timbl@232.Red-88-6-19.staticIP.rima-tde.net) has joined #dig
22:36:32 [fturkmen]
fturkmen has quit (Read error: 110 (Connection timed out))
22:38:31 [fturkmen1]
fturkmen1 has quit (Read error: 110 (Connection timed out))
22:50:49 [timbl_]
timbl_ has quit (Read error: 110 (Connection timed out))
22:51:41 [timbl]
timbl has quit ()