00:12:38 <lkagal> lkagal (n=lkagal1@79.68.171.66.subscriber.vzavenue.net) has joined #dig
01:59:39 <oshani> oshani (n=oshani@30-7-89.wireless.csail.mit.edu) has joined #dig
01:59:46 <oshani> oshani has left #dig
02:10:11 <timbl> timbl (n=timbl@209-6-134-246.c3-0.lex-ubr3.sbo-lex.ma.cable.rcn.com) has joined #dig
02:50:25 <timbl> timbl has quit ()
02:55:26 <presbrey> presbrey (n=nnnjoe@SCRIPTS.MIT.EDU) has joined #dig
04:08:36 <MikeyPizano> MikeyPizano (n=Mikey@pool-71-241-94-211.scr.east.verizon.net) has joined #dig
04:08:48 <MikeyPizano> MikeyPizano has left #dig
08:31:04 <sbp> sbp has quit (Remote closed the connection)
08:32:54 <sbp> sbp (i=sbp@66.9.179.67) has joined #dig
12:39:22 <RalphS> RalphS (n=swick@30-6-176.wireless.csail.mit.edu) has joined #dig
12:51:16 <yosi_s> yosi_s (n=chatzill@static-71-243-122-114.bos.east.verizon.net) has joined #dig
13:53:31 <oshani> oshani (n=oshani@SYDNEYPACIFIC-ONE-THIRTY-FOUR.MIT.EDU) has joined #dig
14:05:30 <oshani> oshani has left #dig
14:21:52 <timbl> timbl (n=timbl@30-5-98.wireless.csail.mit.edu) has joined #dig
16:36:19 <oshani> oshani (n=oshani@30-7-110.wireless.csail.mit.edu) has joined #dig
16:41:48 <oshani> yosi_s: Are you there?
16:51:33 <lkagal> lkagal has quit (Read error: 110 (Connection timed out))
16:57:08 <timbl> timbl has quit ()
16:58:44 <timbl> timbl (n=timbl@30-5-98.wireless.csail.mit.edu) has joined #dig
17:01:37 <yosi_s> oshani, I am now
17:18:03 <timbl> timbl has quit ()
17:21:36 <timbl> timbl (n=timbl@30-5-98.wireless.csail.mit.edu) has joined #dig
17:34:32 <lkagal> lkagal (n=lkagal1@79.68.171.66.subscriber.vzavenue.net) has joined #dig
18:40:33 <oshani> yosi_s: I know that prefixes are not used in the general namespace way in n3, but in your TMS output why isn't the "log" referred to? IMO :call-1 is defined in the log so, it should have a prefix related to the log and not <http://dig.csail.mit.edu/TAMI/2007/s0/university#>
18:41:50 <oshani> yosi_s: would it be possible to make the change so that :call-1 refers to the correct document?
18:42:46 <yosi_s> in log.n3, there is the line
18:42:55 <yosi_s> @prefix : <http://dig.csail.mit.edu/TAMI/2007/s0/university#> .
18:43:21 <yosi_s> that would be line 13 of http://dig.csail.mit.edu/TAMI/2007/s0/log.n3
18:43:45 <yosi_s> ergo, my program is doing exactly what it was told to do
18:44:18 <yosi_s> as for why :call-1 is in that namespace, I believe lalana wrote that document, she would be a better person to ask
18:45:33 <oshani> I see, so I'm gonna change line 13 to refer to the actual log file and see (hopefully it should work, right?)
18:46:48 <oshani> lkagal: is it okay if I make the change to the log file?
18:48:04 <lkagal> oshani, what changes ?
18:48:29 <oshani> line 13 of log.n3 refers to the wrong file
18:48:48 <oshani> http://dig.csail.mit.edu/TAMI/2007/s0/log.n3
18:49:37 <oshani> it shoule be @prefix : <http://dig.csail.mit.edu/TAMI/2007/s0/log.n3#> .
18:49:59 <lkagal> You may have to change the policy file as well, if the ns for the log has changed.
18:50:48 <oshani> well, there was no ns for the log file to begin with!
18:51:09 <lkagal> Sure, go ahead and make the changes. Please ensure that the changed version works with the scheme reasoner before committing the changes.
18:51:38 <oshani> okay, I will do that
18:51:42 <lkagal> Thanks
19:16:57 <oshani> yosi_s: could you run your python reasoner against the new log and see if it gives the correct output?
19:17:24 <oshani> because I am getting an empy justification like yesterday with the change I did to the log file
19:17:36 <oshani> chris's scheme reasoner works fine though
19:17:51 <yosi_s> I'm getting nothing
19:18:01 <oshani> yes same here
19:18:59 <oshani> yosi_s: do you know what might could have gone wrong?
19:25:07 <yosi_s> oshani, on line 73 of log.n3, it says :proxcarddata-1 a :ProxCardEvent;
19:25:29 <yosi_s> line 39 of mit-policy.n3 says 
19:25:31 <yosi_s> 	    :D a mit:ProxCardEvent.
19:25:51 <yosi_s> while line 25 of policy.n3 says
19:25:53 <yosi_s> @prefix mit: <http://dig.csail.mit.edu/TAMI/2007/s0/university#> .
19:26:06 <yosi_s> in other words, I don't know why the scheme reasoner would work
19:27:23 <oshani> hmm... I checked with the ssp hosted at swiss.csail.mit.edu and it gave the output I expected
19:29:54 <yosi_s> is it using the same files?
19:32:03 <oshani> yes
19:34:50 <oshani> yosi_s: anyway, I think it was wrong to have referred to things with the prefix : in the log as you pointed out. I will change the log file, run it on your python reasoner and will let you know how it goes
19:49:00 <oshani> yosi_s: it works!
20:02:00 <oshani> oshani has left #dig
20:27:13 <timbl> timbl has quit ()
20:41:51 <timbl> timbl (n=timbl@30-5-98.wireless.csail.mit.edu) has joined #dig
21:27:23 <RalphS> RalphS has quit ("bye for today")
22:06:58 <timbl> timbl has quit ()
23:15:31 <yosi_s> yosi_s has quit ("ChatZilla 0.9.78.1 [Firefox 1.5.0.13pre/2007112610]")