01:29:17 <maxwilson> maxwilson (n=maxwilso@12.45.230.3) has joined #dig
02:08:50 <maxwilson> maxwilson has quit ()
02:11:11 <lkagal> lkagal has quit ()
02:24:39 <lkagal> lkagal (n=lkagal1@79.68.171.66.subscriber.vzavenue.net) has joined #dig
11:09:34 <maxwilson> maxwilson (n=maxwilso@12.45.230.3) has joined #dig
11:15:10 <maxwilson> maxwilson has quit ()
11:16:23 <maxwilson> maxwilson (n=maxwilso@12.45.230.3) has joined #dig
11:17:09 <maxwilson> maxwilson has quit (Client Quit)
11:29:43 <maxwilson> maxwilson (n=maxwilso@12.45.230.3) has joined #dig
11:51:23 <RalphS> RalphS (n=swick@30-5-218.wireless.csail.mit.edu) has joined #dig
11:52:20 <DIGlogger> DIGlogger (n=dig-logg@groups.csail.mit.edu) has joined #dig
11:52:20 <kubrick.freenode.net> topic is: Tabulator Extension alpha version released -- http://lists.w3.org/Archives/Public/semantic-web/2007Aug/0261.html ; congratulations Tabulator Team!
11:52:20 <kubrick.freenode.net> Users on #dig: DIGlogger RalphS maxwilson lkagal sandro presbrey DanC eikeon_ sbp jambo Zakim das05r 
12:33:29 <maxwilson> maxwilson has quit ()
13:22:35 <maxwilson> maxwilson (n=maxwilso@12.45.230.3) has joined #dig
13:22:54 <timbl> timbl (n=timbl@146-115-66-146.c3-0.lex-ubr1.sbo-lex.ma.cable.rcn.com) has joined #dig
13:30:22 <timbl> timbl has quit ()
13:33:00 <djweitzner> djweitzner (n=djweitzn@pool-70-108-26-144.res.east.verizon.net) has joined #dig
13:35:03 <maxwilson> maxwilson has quit ()
14:01:16 <amy> amy (n=amy@30-7-15.wireless.csail.mit.edu) has joined #dig
14:01:21 <amy> amy has left #dig
14:10:21 <yosi_s> yosi_s (n=syosi@30-5-158.wireless.csail.mit.edu) has joined #dig
14:13:53 <maxwilson> maxwilson (n=maxwilso@30-5-87.wireless.csail.mit.edu) has joined #dig
14:16:09 <timbl> timbl (n=timbl@30-7-41.wireless.csail.mit.edu) has joined #dig
14:40:58 <maxwilson_> maxwilson_ (n=maxwilso@staff-vpn156.ecs.soton.ac.uk) has joined #dig
14:53:37 <yosi_s> yosi_s has quit ()
14:57:38 <maxwilson> maxwilson has quit (Read error: 110 (Connection timed out))
15:05:07 <yosi_s> yosi_s (n=syosi@EASTMAN-FOUR-O-SEVEN.MIT.EDU) has joined #dig
15:13:31 <lkagal> lkagal has quit ()
15:32:29 <timbl> Yes there is a meeting, and Lalana injvited the NSF program manager
15:34:28 <timbl> We need some quick presentations of all the work of DIG
15:44:31 <timbl> djweitzner
15:44:36 <timbl> lalana?
15:45:22 <djweitzner> here, but on a call
15:55:46 <djweitzner> Tim, still there?
15:56:05 <djweitzner> Lalana, I had thought that Sol was going to come to the TAMI meeting.
15:56:53 <djweitzner> Don't mind if he comes to the DIG meeting but it's going to be a bit rough around the edges, I expect
15:57:04 <djweitzner> djweitzner has changed the topic to: DIG meeting today 1 October 2007
16:16:24 <presbrey> presbrey has quit ()
16:31:45 <presbrey> presbrey (n=presbrey@30-6-119.wireless.csail.mit.edu) has joined #dig
16:32:02 <presbrey> presbrey has quit (Client Quit)
16:32:13 <yosi_s> yosi_s has quit ()
16:35:26 <lkagal> lkagal (n=lkagal1@30-5-196.wireless.csail.mit.edu) has joined #dig
16:41:51 <lkagal> DanC, I think he's interested in working with us and wants to  know what kind of research projects we're working on
16:43:21 <DanC> is he coming today? What's his name?
16:47:15 <maxwilson_> maxwilson_ has quit ()
16:51:21 <lkagal> He's attending the DIG meeting today and his name is Sol Greenspan
17:07:44 <DanC> hmm... I'm conflicted... on the one hand, I'm curious and interested, and on the other, I can imagine trying to have much of a phone component to the meeting would ruin it.
17:14:59 <DanC> hmm... did something happen to the DIG slide stylesheet? http://www.w3.org/2006/09dc-aus/swpf seems to have gone bad
17:18:32 <roberth_> roberth_ (n=hoffmann@31-33-44.wireless.csail.mit.edu) has joined #dig
17:48:46 <maxwilson> maxwilson (n=maxwilso@30-5-87.wireless.csail.mit.edu) has joined #dig
17:49:42 <maxwilson_> maxwilson_ (n=maxwilso@staff-vpn140.ecs.soton.ac.uk) has joined #dig
17:50:39 <timbl> http://images.google.com/images?client=safari&rls=en&q=Sol+Greenspan&ie=UTF-8&oe=UTF-8&um=1&sa=N&tab=wi
17:56:14 <timbl> sldes ... hmmm
17:57:16 <timbl> O-oh:   Agenda did not go out.
17:57:16 <timbl> <Diggers@csail.w3.org>: [csail.w3.org]: Name or service not known
17:57:16 <timbl> Reporting-MTA: dns; homer.w3.org
17:57:32 <timbl> w3.org???
17:58:46 <timbl> Autocompletion of some bogus address.
17:59:07 <timbl> Agenda+ Overview of TAMI software architecture (Lalana) Overview of the Tabulator (demo, a few slides)
17:59:08 <timbl> 	- Overview of earlier cwm, proof work?  (Yosi?, DanC? )
17:59:08 <timbl> 	- Discussion of Sol's personal and NSF wishes and dreams
17:59:24 <timbl> adenda+  Overview of the Tabulator (demo, a few slides)
17:59:51 <timbl> agenda+ Overview of earlier cwm, proof work?  (Yosi?, DanC? )
18:00:01 <timbl> agenda+  Overview of the Tabulator (demo, a few slides)
18:00:10 <timbl> agenda+ Discussion of Sol's personal and NSF wishes and dreams
18:00:19 <timbl> agenda?
18:03:23 <DanC> the agenda did go out. Mon, 1 Oct 2007 13:58:28 -0400
18:06:14 <maxwilson> maxwilson has quit (Read error: 110 (Connection timed out))
18:12:09 <yosi_s> yosi_s (n=syosi@30-5-158.wireless.csail.mit.edu) has joined #dig
18:20:11 <timbl> agenda+ Introducing Sol Greenspan
18:21:16 <timbl> Zakim, agenda order 20 17, 16, 18,  1, 
18:21:16 <Zakim> ok, timbl
18:24:35 <timbl> DanC, the styleshee in those slids is http://dig.csail.mit.edu/~lkagal/ai-web/dig-slideshow.css which does not exist
18:24:39 <timbl> Others are commented out
18:25:55 <timbl> eh?
18:26:11 <DanC> I made a link into ~lkagal space, trusting it would work for a while. I lost.
18:26:55 <timbl> Lalana, and idea of a better stylesheet URI for that?
18:30:01 <yosi_s> yosi_s has quit ()
18:30:44 <presbrey> presbrey (n=presbrey@30-6-119.wireless.csail.mit.edu) has joined #dig
18:31:03 <Zakim> DIG_weekly()2:30PM has now started
18:31:10 <Zakim> +MIT531
18:31:49 <yosi_s> yosi_s (n=syosi@30-5-158.wireless.csail.mit.edu) has joined #dig
18:32:12 <lkagal> lkagal has quit ()
18:32:19 <yosi_s> agenda?
18:33:05 <timbl> _____________________________________
18:33:19 <Zakim> -MIT531
18:33:20 <Zakim> DIG_weekly()2:30PM has ended
18:33:21 <Zakim> Attendees were MIT531
18:33:54 <Zakim> DIG_weekly()2:30PM has now started
18:34:01 <Zakim> +MIT531
18:34:32 <yosi_s> Zakim, who is here?
18:34:33 <Zakim> On the phone I see MIT531
18:34:34 <Zakim> On IRC I see yosi_s, presbrey, maxwilson_, roberth_, timbl, djweitzner, DIGlogger, RalphS, sandro, DanC, eikeon_, sbp, jambo, Zakim, das05r
18:34:44 <oshani> oshani (n=chatzill@30-7-142.wireless.csail.mit.edu) has joined #dig
18:34:50 <lkagal> lkagal (n=lkagal1@30-5-196.wireless.csail.mit.edu) has joined #dig
18:34:57 <Zakim> +Danny
18:35:24 <yosi_s> Zakim, MIT531 has Sol, TimBL, Lalana, Joe, Robert, Oshani, Yosi, Ralph
18:35:24 <Zakim> +Sol, TimBL, Lalana, Joe, Robert, Oshani, Yosi, Ralph; got it
18:36:42 <Zakim> +DanC
18:38:49 <DanC> ack danc
18:44:40 <Zakim> +Sandro
18:46:02 <sandro> q?
18:52:42 <yosi_s> DIGlogger, pointer?
18:52:44 <yosi_s> See http://dig.csail.mit.edu/irc/dig/2007-10-01#T18-52-42
18:52:52 <timbl> q+
18:52:59 <timbl> agenda?
19:01:27 <DanC> (cwm online? hmm.)
19:01:41 <timbl> Zakim, take up item 16
19:01:41 <Zakim> agendum 16. "Overview of TAMI software architecture (Lalana) Overview of the Tabulator (demo, a few slides)" taken up [from timbl]
19:23:03 <DanC> hmm... tim is using "OWL" as if that's a known term; is it?
19:23:39 <DanC> ack me
19:26:32 <lkagal> (DanC, I meant that the PAW policy examples could be run online using cwm)
19:26:53 <DanC> by "online" you mean "on your machine", right?
19:27:01 <DanC> not "as a demo on the web"?
19:27:57 <lkagal> Not as a demo on the web
19:28:49 <lkagal> I meant once cwm is downloaded on your machine you can reason over the PAW policies that are online
19:29:07 <DanC> ah. yes.
19:37:42 <DanC> I think is question is: is all the data in the semantic web supposed to sit in the DIG data wiki?
19:38:11 <DanC> or are we just sticking stuff there because it's convenient?
19:38:41 <DanC> and the answer is: because it's convenient. write policies and market economics have to get worked out
19:41:12 <Zakim> +Sandro.a
19:41:28 <Zakim> -Sandro
19:41:29 <yosi_s> Zakim, who is on the phone?
19:41:30 <Zakim> On the phone I see MIT531, Danny, DanC (muted), Sandro.a
19:41:31 <Zakim> MIT531 has Sol, TimBL, Lalana, Joe, Robert, Oshani, Yosi, Ralph
19:43:11 <DanC> (weekly except for exceptions, which happened a lot at the end of the semester)
19:43:17 <DanC> (end of the summer, rather)
19:46:21 <DanC> (we're making a lot of promises about this foaf-blog-comment stuff; is it working yet, actually?)
19:55:24 <yosi_s> Zakim, unmute DanC 
19:55:24 <Zakim> DanC should no longer be muted
19:56:32 <roberth_> roberth_ has quit (Read error: 104 (Connection reset by peer))
19:56:42 <presbrey> presbrey has quit ()
19:56:54 <DanC> Zakim, unmute me
19:56:54 <Zakim> DanC should no longer be muted
19:57:35 <DanC> http://www.w3.org/2007/03/htsched/htcg-sched
19:58:28 <DanC> (what is the meeting doing?)
19:59:37 <DanC> I'd like somebody to hold my hand as I try to transcribe some parts of http://www.w3.org/2007/03/htsched/htcg-sched into the data wiki
20:00:53 <Zakim> -MIT531
20:01:02 <Zakim> -Sandro.a
20:01:22 <DanC> Zakim, I just hung up; why didn't you notice?
20:01:23 <Zakim> I don't understand your question, DanC.
20:06:32 <lkagal> lkagal has quit ()
20:09:07 <DanC> Zakim, drop danc
20:09:07 <Zakim> DanC is being disconnected
20:09:08 <Zakim> -DanC
20:09:19 <DanC> Zakim, who's on the phone?
20:09:19 <Zakim> On the phone I see Danny
20:11:50 <lkagal> lkagal (n=lkagal1@30-5-196.wireless.csail.mit.edu) has joined #dig
20:12:40 <oshani> oshani has quit ("ChatZilla 0.9.78.1 [Firefox 2.0.0.6/2007073113]")
20:13:41 <Zakim> -Danny
20:13:43 <Zakim> DIG_weekly()2:30PM has ended
20:13:45 <Zakim> Attendees were Danny, Sol, TimBL, Lalana, Joe, Robert, Oshani, Yosi, Ralph, DanC, Sandro
20:16:47 <DanC> "A trustworthy, extensible theorem prover"
20:16:54 <DanC> Jared Davis dissertation proposal
20:21:06 <RalphS> RalphS has quit ("bye for today")
20:46:05 <yosi_s> yosi_s has quit ()
20:53:31 <yosi_s> yosi_s (n=syosi@30-5-158.wireless.csail.mit.edu) has joined #dig
21:08:19 <maxwilson_> maxwilson_ has quit ()
21:11:19 <yosi_s> yosi_s has quit ()
22:46:34 <lkagal> lkagal has quit ()
23:18:20 <timbl> timbl has quit (Read error: 110 (Connection timed out))