IRC log of dig on 2008-07-22

Timestamps are in UTC.

00:00:21 [danbri]
danbri has quit (Remote closed the connection)
00:14:19 [tidren]
tidren (n=tidren@128.120.66.122) has joined #dig
00:14:48 [tidren]
tidren has left #dig
00:19:06 [lkagal]
lkagal has quit ()
00:37:08 [lkagal]
lkagal (n=lkagal@66.171.68.186) has joined #dig
04:25:23 [harveyj_]
harveyj_ (n=harveyj@c-71-204-152-134.hsd1.ca.comcast.net) has joined #dig
04:39:10 [harveyj__]
harveyj__ (n=harveyj@c-71-204-152-134.hsd1.ca.comcast.net) has joined #dig
04:40:57 [harveyj]
harveyj has quit (Read error: 110 (Connection timed out))
04:55:39 [harveyj_]
harveyj_ has quit (Read error: 110 (Connection timed out))
05:13:39 [lkagal]
lkagal has quit ()
05:17:30 [lkagal]
lkagal (n=lkagal@186.68.171.66.subscriber.vzavenue.net) has joined #dig
05:27:34 [lkagal]
lkagal has quit ()
07:29:51 [oshani]
oshani has quit ()
08:01:34 [oshani]
oshani (n=oshani@client-13-104.visitor-network.oxuni.org.uk) has joined #dig
08:43:17 [timbl]
timbl (n=timbl@client-13-178.visitor-network.oxuni.org.uk) has joined #dig
09:05:52 [timbl_]
timbl_ (n=timbl@client-13-178.visitor-network.oxuni.org.uk) has joined #dig
09:21:13 [timbl]
timbl has quit (Read error: 110 (Connection timed out))
09:39:55 [timbl_]
timbl_ has quit (Connection timed out)
09:59:34 [timbl]
timbl (n=timbl@client-14-108.visitor-network.oxuni.org.uk) has joined #dig
11:06:26 [timbl]
timbl has quit ()
11:34:11 [oshani]
oshani has quit ()
11:39:38 [RalphS]
RalphS (n=swick@30-5-41.wireless.csail.mit.edu) has joined #dig
11:55:53 [lkagal]
lkagal (n=lkagal@186.68.171.66.subscriber.vzavenue.net) has joined #dig
12:28:10 [oshani]
oshani (n=oshani@client-12-142.visitor-network.oxuni.org.uk) has joined #dig
12:32:00 [timbl]
timbl (n=timbl@client-14-220.visitor-network.oxuni.org.uk) has joined #dig
12:49:08 [oshani]
lkagal, I told Tim about AFOSR, he's on IRC now in case you need to contact him
12:53:59 [lkagal]
Great, thanks Oshani.
13:03:27 [djweitzner]
djweitzner (n=djweitzn@pool-71-191-100-198.washdc.east.verizon.net) has joined #dig
13:03:42 [timbl]
Lalana, I read the letter - seems OK to me -- sent mail
13:04:11 [timbl]
lkagal
13:20:59 [lkagal]
Thanks Tim
13:55:36 [timbl]
timbl has quit (Read error: 104 (Connection reset by peer))
13:56:07 [timbl]
timbl (n=timbl@client-14-220.visitor-network.oxuni.org.uk) has joined #dig
14:06:35 [oshani]
oshani has quit (Excess Flood)
14:07:22 [oshani_]
oshani_ (n=oshani@client-12-142.visitor-network.oxuni.org.uk) has joined #dig
14:12:10 [oshani_]
oshani_ is now known as my_nick_should_b
14:14:01 [my_nick_should_b]
my_nick_should_b has quit ()
14:14:22 [oshani]
oshani (n=oshani@client-12-142.visitor-network.oxuni.org.uk) has joined #dig
14:14:47 [timbl_]
timbl_ (n=timbl@client-14-220.visitor-network.oxuni.org.uk) has joined #dig
14:16:08 [timbl]
timbl has quit (Read error: 104 (Connection reset by peer))
14:26:00 [djweitzner_]
djweitzner_ (n=djweitzn@96.231.177.79) has joined #dig
14:36:44 [stunes]
stunes (n=stunes@30-6-40.wireless.csail.mit.edu) has joined #dig
14:37:52 [stunes]
lkagal, (or anyone else) does the AIR reasoner do open-world reasoning, or does everything have to be contained directly in the log/policy files that are passed in?
14:39:23 [timbl_]
How do you mean, "do open-world reasoning"?
14:39:36 [timbl_]
log:includes and log:semantics?
14:40:39 [stunes]
like we have the dig data file (don't rememeber the url) that has a list of everyone in DIG, in rdf--but doesn't contain their openids directly
14:41:07 [stunes]
so if i write a policy that tries to use those, will the air reasoner branch out to the foaf urls that our data file references, and find the openids there, or not?
14:46:41 [timbl_]
timbl_ has quit ()
14:47:02 [djweitzner__]
djweitzner__ (n=djweitzn@pool-71-178-132-21.washdc.east.verizon.net) has joined #dig
14:47:13 [djweitzner]
djweitzner has quit (Read error: 110 (Connection timed out))
15:03:18 [djweitzner_]
djweitzner_ has quit (Read error: 110 (Connection timed out))
15:04:06 [djweitzner]
djweitzner (n=djweitzn@pool-71-178-141-75.washdc.east.verizon.net) has joined #dig
15:11:15 [oshani]
stunes, saw your question only now
15:11:24 [oshani]
did you get an answer from anyone?
15:11:29 [stunes]
not yet
15:11:38 [stunes]
I'm going to just try it and see what happens
15:11:56 [oshani]
it does not do open world reasoning in the sense you ask
15:12:03 [oshani]
everything is self contained
15:12:33 [stunes]
ah, ok then
15:12:41 [djweitzner__]
djweitzner__ has quit (Read error: 110 (Connection timed out))
15:13:05 [stunes]
also, is "open world" the right term for this, or is there something better to call it?
15:13:12 [oshani]
I mean the premises are based on the facts already there in the log file or from inferred facts
15:13:51 [stunes]
right, gotcha
15:26:48 [stunes]
lkagal, can you do me a quick favor
15:29:59 [lkagal]
Yes Mike
15:30:21 [stunes]
can you just run a few queries against my server?
15:30:26 [stunes]
http://baked-beans.mit.edu:8080
15:30:47 [stunes]
I'm just building a fresh log to play with
15:30:59 [stunes]
thanks
15:31:31 [lkagal]
The query over the log created only returns one enty
15:33:39 [lkagal]
lkagal has quit ()
15:33:56 [danbri]
danbri (n=danbri@ip565f6edb.direct-adsl.nl) has joined #dig
15:40:10 [oshani]
danbri, I was referring to stunes's http://baked-beans.mit.edu:8080
15:40:47 [danbri]
ah, cute
15:40:58 [oshani]
oshani has quit ()
16:02:18 [rho]
rho (n=rho@chello213047112079.11.11.vie.surfer.at) has joined #dig
16:03:16 [djweitzner]
djweitzner has quit ()
16:06:57 [timbl]
timbl (n=timbl@dsl82-163-114-58.as15444.net) has joined #dig
16:13:53 [lkagal]
lkagal (n=lkagal@30-6-167.wireless.csail.mit.edu) has joined #dig
16:47:34 [rho]
rho has quit (Remote closed the connection)
18:37:16 [timbl]
timbl has quit (Read error: 113 (No route to host))
20:17:28 [lkagal]
lkagal has quit ()
20:22:01 [lkagal]
lkagal (n=lkagal@30-6-167.wireless.csail.mit.edu) has joined #dig
20:25:13 [stunes]
stunes has quit ("Leaving")
20:52:13 [danbri]
danbri has quit ()
21:15:24 [lkagal]
lkagal has quit ()
21:48:20 [danbri]
danbri (n=danbri@ip565f6edb.direct-adsl.nl) has joined #dig
21:56:30 [danbri]
danbri has quit ()
22:15:36 [RalphS]
RalphS has quit (Read error: 110 (Connection timed out))
22:15:48 [lkagal]
lkagal (n=lkagal@186.68.171.66.subscriber.vzavenue.net) has joined #dig
22:20:58 [timbl]
timbl (n=timbl@dsl82-163-114-58.as15444.net) has joined #dig
22:28:13 [danbri]
danbri (n=danbri@ip565f6edb.direct-adsl.nl) has joined #dig
23:00:26 [presbrey]
presbrey (n=presbrey@SCRIPTS.MIT.EDU) has joined #dig
23:17:03 [harveyj__]
harveyj__ has quit (kubrick.freenode.net irc.freenode.net)
23:17:03 [sandro]
sandro has quit (kubrick.freenode.net irc.freenode.net)
23:17:03 [lkagal]
lkagal has quit (kubrick.freenode.net irc.freenode.net)
23:17:22 [lkagal]
lkagal (n=lkagal@186.68.171.66.subscriber.vzavenue.net) has joined #dig
23:17:22 [harveyj__]
harveyj__ (n=harveyj@c-71-204-152-134.hsd1.ca.comcast.net) has joined #dig
23:17:22 [sandro]
sandro (n=nsandro@ssh.w3.org) has joined #dig
23:19:39 [dmwaters]
{global notice} Hi all, We look to be having some routing problems. I'm looking into it now. Thank you for your patience, and thank you for using freenode!
23:38:26 [danbri]
danbri has quit ()