IRC log of dig on 2007-12-19
Timestamps are in UTC.
- 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]")