IRC log of dig on 2007-10-01

Timestamps are in UTC.

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))