Thu Sep 21 17:37:19 2000: :www.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@www.daml.org Thu Sep 21 17:37:19 2000: :www.daml.org 002 logger :Your host is www.daml.org, running version 2.10.3 Thu Sep 21 17:37:19 2000: :www.daml.org 003 logger :This server was created Thu Jan 20 2000 at 12:10:49 EET Thu Sep 21 17:37:19 2000: :www.daml.org 004 logger www.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Thu Sep 21 17:37:19 2000: :www.daml.org 251 logger :There are 0 users and 0 services on 1 servers Thu Sep 21 17:37:19 2000: :www.daml.org 253 logger 1 :unknown connections Thu Sep 21 17:37:19 2000: :www.daml.org 254 logger 11 :channels formed Thu Sep 21 17:37:19 2000: :www.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Thu Sep 21 17:37:19 2000: :www.daml.org 375 logger :- www.daml.org Message of the Day - Thu Sep 21 17:37:19 2000: :www.daml.org 372 logger :- 24/8/2000 9:57 Thu Sep 21 17:37:19 2000: :www.daml.org 372 logger :- This is an experimental IRC server for the DAML program. Thu Sep 21 17:37:19 2000: :www.daml.org 372 logger :- Please report problems to Tom Hash Thu Sep 21 17:37:19 2000: :www.daml.org 372 logger :- Thu Sep 21 17:37:19 2000: :www.daml.org 372 logger :- Use at your own risk :) Thu Sep 21 17:37:19 2000: :www.daml.org 376 logger :End of MOTD command. Thu Sep 21 17:37:19 2000: :www.daml.org 484 logger :Your connection is restricted! Thu Sep 21 17:37:19 2000: :logger MODE logger :+ir Thu Sep 21 17:37:19 2000: :logger!=logger@www.daml.org JOIN :#test Thu Sep 21 17:37:19 2000: :www.daml.org 353 logger = #test :logger Thu Sep 21 17:37:19 2000: :www.daml.org 366 logger #test :End of NAMES list. Thu Sep 21 17:37:19 2000: :logger!=logger@www.daml.org JOIN :#daml Thu Sep 21 17:37:19 2000: :www.daml.org 353 logger = #daml :logger Thu Sep 21 17:37:19 2000: :www.daml.org 366 logger #daml :End of NAMES list. Thu Sep 21 17:37:21 2000: :logger!=logger@www.daml.org JOIN :#daml-lang Thu Sep 21 17:37:21 2000: :www.daml.org 353 logger = #daml-lang :logger Thu Sep 21 17:37:21 2000: :www.daml.org 366 logger #daml-lang :End of NAMES list. Thu Sep 21 17:37:23 2000: :logger!=logger@www.daml.org JOIN :#daml-life Thu Sep 21 17:37:23 2000: :www.daml.org 353 logger = #daml-life :logger Thu Sep 21 17:37:23 2000: :www.daml.org 366 logger #daml-life :End of NAMES list. Thu Sep 21 17:39:20 2000: PING :www.daml.org Thu Sep 21 17:41:20 2000: ERROR :Closing Link: logger[=logger@www.daml.org] (Ping timeout) Mon Oct 9 13:16:57 2000: :www.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@www.daml.org Mon Oct 9 13:16:57 2000: :www.daml.org 002 logger :Your host is www.daml.org, running version 2.10.3 Mon Oct 9 13:16:57 2000: :www.daml.org 003 logger :This server was created Thu Jan 20 2000 at 12:10:49 EET Mon Oct 9 13:16:57 2000: :www.daml.org 004 logger www.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Mon Oct 9 13:16:57 2000: :www.daml.org 251 logger :There are 0 users and 0 services on 1 servers Mon Oct 9 13:16:57 2000: :www.daml.org 253 logger 1 :unknown connections Mon Oct 9 13:16:57 2000: :www.daml.org 254 logger 11 :channels formed Mon Oct 9 13:16:57 2000: :www.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Mon Oct 9 13:16:57 2000: :www.daml.org 375 logger :- www.daml.org Message of the Day - Mon Oct 9 13:16:57 2000: :www.daml.org 372 logger :- 24/8/2000 9:57 Mon Oct 9 13:16:57 2000: :www.daml.org 372 logger :- This is an experimental IRC server for the DAML program. Mon Oct 9 13:16:57 2000: :www.daml.org 372 logger :- Please report problems to Tom Hash Mon Oct 9 13:16:57 2000: :www.daml.org 372 logger :- Mon Oct 9 13:16:57 2000: :www.daml.org 372 logger :- Use at your own risk :) Mon Oct 9 13:16:57 2000: :www.daml.org 376 logger :End of MOTD command. Mon Oct 9 13:16:57 2000: :www.daml.org 484 logger :Your connection is restricted! Mon Oct 9 13:16:57 2000: :logger MODE logger :+ir Mon Oct 9 13:16:57 2000: :logger!=logger@www.daml.org JOIN :#test Mon Oct 9 13:16:57 2000: :www.daml.org 353 logger = #test :logger Mon Oct 9 13:16:57 2000: :www.daml.org 366 logger #test :End of NAMES list. Mon Oct 9 13:16:57 2000: :logger!=logger@www.daml.org JOIN :#daml Mon Oct 9 13:16:57 2000: :www.daml.org 353 logger = #daml :logger Mon Oct 9 13:16:57 2000: :www.daml.org 366 logger #daml :End of NAMES list. Mon Oct 9 13:16:58 2000: :logger!=logger@www.daml.org JOIN :#daml-lang Mon Oct 9 13:16:58 2000: :www.daml.org 353 logger = #daml-lang :logger Mon Oct 9 13:16:58 2000: :www.daml.org 366 logger #daml-lang :End of NAMES list. Mon Oct 9 13:17:01 2000: :logger!=logger@www.daml.org JOIN :#daml-life Mon Oct 9 13:17:01 2000: :www.daml.org 353 logger = #daml-life :logger Mon Oct 9 13:17:01 2000: :www.daml.org 366 logger #daml-life :End of NAMES list. Mon Oct 9 13:20:57 2000: PING :www.daml.org Mon Oct 9 13:22:58 2000: ERROR :Closing Link: logger[=logger@www.daml.org] (Ping timeout) Thu Oct 19 16:34:15 2000: :www.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@www.daml.org Thu Oct 19 16:34:15 2000: :www.daml.org 002 logger :Your host is www.daml.org, running version 2.10.3 Thu Oct 19 16:34:15 2000: :www.daml.org 003 logger :This server was created Thu Jan 20 2000 at 12:10:49 EET Thu Oct 19 16:34:15 2000: :www.daml.org 004 logger www.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Thu Oct 19 16:34:15 2000: :www.daml.org 251 logger :There are 0 users and 0 services on 1 servers Thu Oct 19 16:34:15 2000: :www.daml.org 253 logger 1 :unknown connections Thu Oct 19 16:34:15 2000: :www.daml.org 254 logger 11 :channels formed Thu Oct 19 16:34:15 2000: :www.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Thu Oct 19 16:34:15 2000: :www.daml.org 375 logger :- www.daml.org Message of the Day - Thu Oct 19 16:34:15 2000: :www.daml.org 372 logger :- 24/8/2000 9:57 Thu Oct 19 16:34:15 2000: :www.daml.org 372 logger :- This is an experimental IRC server for the DAML program. Thu Oct 19 16:34:15 2000: :www.daml.org 372 logger :- Please report problems to Tom Hash Thu Oct 19 16:34:15 2000: :www.daml.org 372 logger :- Thu Oct 19 16:34:15 2000: :www.daml.org 372 logger :- Use at your own risk :) Thu Oct 19 16:34:15 2000: :www.daml.org 376 logger :End of MOTD command. Thu Oct 19 16:34:15 2000: :www.daml.org 484 logger :Your connection is restricted! Thu Oct 19 16:34:15 2000: :logger MODE logger :+ir Thu Oct 19 16:34:15 2000: :logger!=logger@www.daml.org JOIN :#test Thu Oct 19 16:34:15 2000: :www.daml.org 353 logger = #test :logger Thu Oct 19 16:34:15 2000: :www.daml.org 366 logger #test :End of NAMES list. Thu Oct 19 16:34:15 2000: :logger!=logger@www.daml.org JOIN :#daml Thu Oct 19 16:34:15 2000: :www.daml.org 353 logger = #daml :logger Thu Oct 19 16:34:15 2000: :www.daml.org 366 logger #daml :End of NAMES list. Thu Oct 19 16:34:16 2000: :logger!=logger@www.daml.org JOIN :#daml-lang Thu Oct 19 16:34:16 2000: :www.daml.org 353 logger = #daml-lang :logger Thu Oct 19 16:34:16 2000: :www.daml.org 366 logger #daml-lang :End of NAMES list. Thu Oct 19 16:34:19 2000: :logger!=logger@www.daml.org JOIN :#daml-life Thu Oct 19 16:34:19 2000: :www.daml.org 353 logger = #daml-life :logger Thu Oct 19 16:34:19 2000: :www.daml.org 366 logger #daml-life :End of NAMES list. Thu Oct 19 16:38:15 2000: PING :www.daml.org Thu Oct 19 16:40:15 2000: ERROR :Closing Link: logger[=logger@www.daml.org] (Ping timeout) Wed Nov 1 03:54:10 2000: :www.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@www.daml.org Wed Nov 1 03:54:10 2000: :www.daml.org 002 logger :Your host is www.daml.org, running version 2.10.3 Wed Nov 1 03:54:10 2000: :www.daml.org 003 logger :This server was created Thu Jan 20 2000 at 12:10:49 EET Wed Nov 1 03:54:10 2000: :www.daml.org 004 logger www.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Wed Nov 1 03:54:10 2000: :www.daml.org 251 logger :There are 0 users and 0 services on 1 servers Wed Nov 1 03:54:10 2000: :www.daml.org 253 logger 1 :unknown connections Wed Nov 1 03:54:10 2000: :www.daml.org 254 logger 11 :channels formed Wed Nov 1 03:54:10 2000: :www.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Wed Nov 1 03:54:10 2000: :www.daml.org 375 logger :- www.daml.org Message of the Day - Wed Nov 1 03:54:10 2000: :www.daml.org 372 logger :- 24/8/2000 9:57 Wed Nov 1 03:54:10 2000: :www.daml.org 372 logger :- This is an experimental IRC server for the DAML program. Wed Nov 1 03:54:10 2000: :www.daml.org 372 logger :- Please report problems to Tom Hash Wed Nov 1 03:54:10 2000: :www.daml.org 372 logger :- Wed Nov 1 03:54:10 2000: :www.daml.org 372 logger :- Use at your own risk :) Wed Nov 1 03:54:10 2000: :www.daml.org 376 logger :End of MOTD command. Wed Nov 1 03:54:10 2000: :www.daml.org 484 logger :Your connection is restricted! Wed Nov 1 03:54:10 2000: :logger MODE logger :+ir Wed Nov 1 03:54:10 2000: :logger!=logger@www.daml.org JOIN :#test Wed Nov 1 03:54:10 2000: :www.daml.org 353 logger = #test :logger Wed Nov 1 03:54:10 2000: :www.daml.org 366 logger #test :End of NAMES list. Wed Nov 1 03:54:10 2000: :logger!=logger@www.daml.org JOIN :#daml Wed Nov 1 03:54:10 2000: :www.daml.org 353 logger = #daml :logger Wed Nov 1 03:54:10 2000: :www.daml.org 366 logger #daml :End of NAMES list. Wed Nov 1 03:54:11 2000: :logger!=logger@www.daml.org JOIN :#daml-lang Wed Nov 1 03:54:11 2000: :www.daml.org 353 logger = #daml-lang :logger Wed Nov 1 03:54:11 2000: :www.daml.org 366 logger #daml-lang :End of NAMES list. Wed Nov 1 03:54:14 2000: :logger!=logger@www.daml.org JOIN :#daml-life Wed Nov 1 03:54:14 2000: :www.daml.org 353 logger = #daml-life :logger Wed Nov 1 03:54:14 2000: :www.daml.org 366 logger #daml-life :End of NAMES list. Wed Nov 1 08:59:04 2000: PING :www.daml.org Wed Nov 1 09:01:05 2000: ERROR :Closing Link: logger[=logger@www.daml.org] (Ping timeout) Wed Nov 8 13:21:38 2000: :www.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@www.daml.org Wed Nov 8 13:21:38 2000: :www.daml.org 002 logger :Your host is www.daml.org, running version 2.10.3 Wed Nov 8 13:21:38 2000: :www.daml.org 003 logger :This server was created Thu Jan 20 2000 at 12:10:49 EET Wed Nov 8 13:21:38 2000: :www.daml.org 004 logger www.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Wed Nov 8 13:21:38 2000: :www.daml.org 251 logger :There are 0 users and 0 services on 1 servers Wed Nov 8 13:21:38 2000: :www.daml.org 253 logger 1 :unknown connections Wed Nov 8 13:21:38 2000: :www.daml.org 254 logger 11 :channels formed Wed Nov 8 13:21:38 2000: :www.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Wed Nov 8 13:21:38 2000: :www.daml.org 375 logger :- www.daml.org Message of the Day - Wed Nov 8 13:21:38 2000: :www.daml.org 372 logger :- 24/8/2000 9:57 Wed Nov 8 13:21:38 2000: :www.daml.org 372 logger :- This is an experimental IRC server for the DAML program. Wed Nov 8 13:21:38 2000: :www.daml.org 372 logger :- Please report problems to Tom Hash Wed Nov 8 13:21:38 2000: :www.daml.org 372 logger :- Wed Nov 8 13:21:38 2000: :www.daml.org 372 logger :- Use at your own risk :) Wed Nov 8 13:21:38 2000: :www.daml.org 376 logger :End of MOTD command. Wed Nov 8 13:21:38 2000: :www.daml.org 484 logger :Your connection is restricted! Wed Nov 8 13:21:38 2000: :logger MODE logger :+ir Wed Nov 8 13:21:38 2000: :logger!=logger@www.daml.org JOIN :#test Wed Nov 8 13:21:38 2000: :www.daml.org 353 logger = #test :logger Wed Nov 8 13:21:38 2000: :www.daml.org 366 logger #test :End of NAMES list. Wed Nov 8 13:21:38 2000: :logger!=logger@www.daml.org JOIN :#daml Wed Nov 8 13:21:38 2000: :www.daml.org 353 logger = #daml :logger Wed Nov 8 13:21:38 2000: :www.daml.org 366 logger #daml :End of NAMES list. Wed Nov 8 13:21:40 2000: :logger!=logger@www.daml.org JOIN :#daml-lang Wed Nov 8 13:21:40 2000: :www.daml.org 353 logger = #daml-lang :logger Wed Nov 8 13:21:40 2000: :www.daml.org 366 logger #daml-lang :End of NAMES list. Wed Nov 8 13:21:42 2000: :logger!=logger@www.daml.org JOIN :#daml-life Wed Nov 8 13:21:42 2000: :www.daml.org 353 logger = #daml-life :logger Wed Nov 8 13:21:42 2000: :www.daml.org 366 logger #daml-life :End of NAMES list. Wed Nov 8 13:23:39 2000: PING :www.daml.org Wed Nov 8 13:25:39 2000: ERROR :Closing Link: logger[=logger@www.daml.org] (Ping timeout) Wed Nov 8 13:37:48 2000: :www.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@www.daml.org Wed Nov 8 13:37:48 2000: :www.daml.org 002 logger :Your host is www.daml.org, running version 2.10.3 Wed Nov 8 13:37:48 2000: :www.daml.org 003 logger :This server was created Thu Jan 20 2000 at 12:10:49 EET Wed Nov 8 13:37:48 2000: :www.daml.org 004 logger www.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Wed Nov 8 13:37:48 2000: :www.daml.org 251 logger :There are 0 users and 0 services on 1 servers Wed Nov 8 13:37:48 2000: :www.daml.org 253 logger 1 :unknown connections Wed Nov 8 13:37:48 2000: :www.daml.org 254 logger 11 :channels formed Wed Nov 8 13:37:48 2000: :www.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Wed Nov 8 13:37:48 2000: :www.daml.org 375 logger :- www.daml.org Message of the Day - Wed Nov 8 13:37:48 2000: :www.daml.org 372 logger :- 24/8/2000 9:57 Wed Nov 8 13:37:48 2000: :www.daml.org 372 logger :- This is an experimental IRC server for the DAML program. Wed Nov 8 13:37:48 2000: :www.daml.org 372 logger :- Please report problems to Tom Hash Wed Nov 8 13:37:48 2000: :www.daml.org 372 logger :- Wed Nov 8 13:37:48 2000: :www.daml.org 372 logger :- Use at your own risk :) Wed Nov 8 13:37:48 2000: :www.daml.org 376 logger :End of MOTD command. Wed Nov 8 13:37:48 2000: :www.daml.org 484 logger :Your connection is restricted! Wed Nov 8 13:37:48 2000: :logger MODE logger :+ir Wed Nov 8 13:37:48 2000: :logger!=logger@www.daml.org JOIN :#test Wed Nov 8 13:37:48 2000: :www.daml.org 353 logger = #test :logger Wed Nov 8 13:37:48 2000: :www.daml.org 366 logger #test :End of NAMES list. Wed Nov 8 13:37:48 2000: :logger!=logger@www.daml.org JOIN :#daml Wed Nov 8 13:37:48 2000: :www.daml.org 353 logger = #daml :logger Wed Nov 8 13:37:48 2000: :www.daml.org 366 logger #daml :End of NAMES list. Wed Nov 8 13:37:50 2000: :logger!=logger@www.daml.org JOIN :#daml-lang Wed Nov 8 13:37:50 2000: :www.daml.org 353 logger = #daml-lang :logger Wed Nov 8 13:37:50 2000: :www.daml.org 366 logger #daml-lang :End of NAMES list. Wed Nov 8 13:37:52 2000: :logger!=logger@www.daml.org JOIN :#daml-life Wed Nov 8 13:37:52 2000: :www.daml.org 353 logger = #daml-life :logger Wed Nov 8 13:37:52 2000: :www.daml.org 366 logger #daml-life :End of NAMES list. Wed Nov 8 13:39:49 2000: PING :www.daml.org Wed Nov 8 13:41:49 2000: ERROR :Closing Link: logger[=logger@www.daml.org] (Ping timeout) Thu Jan 11 15:52:22 2001: :www.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@www.daml.org Thu Jan 11 15:52:22 2001: :www.daml.org 002 logger :Your host is www.daml.org, running version 2.10.3 Thu Jan 11 15:52:22 2001: :www.daml.org 003 logger :This server was created Thu Jan 20 2000 at 12:10:49 EET Thu Jan 11 15:52:22 2001: :www.daml.org 004 logger www.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Thu Jan 11 15:52:22 2001: :www.daml.org 251 logger :There are 0 users and 0 services on 1 servers Thu Jan 11 15:52:22 2001: :www.daml.org 253 logger 1 :unknown connections Thu Jan 11 15:52:22 2001: :www.daml.org 254 logger 11 :channels formed Thu Jan 11 15:52:22 2001: :www.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Thu Jan 11 15:52:22 2001: :www.daml.org 375 logger :- www.daml.org Message of the Day - Thu Jan 11 15:52:22 2001: :www.daml.org 372 logger :- 24/8/2000 9:57 Thu Jan 11 15:52:22 2001: :www.daml.org 372 logger :- This is an experimental IRC server for the DAML program. Thu Jan 11 15:52:22 2001: :www.daml.org 372 logger :- Please report problems to Tom Hash Thu Jan 11 15:52:22 2001: :www.daml.org 372 logger :- Thu Jan 11 15:52:22 2001: :www.daml.org 372 logger :- Use at your own risk :) Thu Jan 11 15:52:22 2001: :www.daml.org 376 logger :End of MOTD command. Thu Jan 11 15:52:22 2001: :www.daml.org 484 logger :Your connection is restricted! Thu Jan 11 15:52:22 2001: :logger MODE logger :+ir Thu Jan 11 15:52:22 2001: :logger!=logger@www.daml.org JOIN :#test Thu Jan 11 15:52:22 2001: :www.daml.org 353 logger = #test :logger Thu Jan 11 15:52:22 2001: :www.daml.org 366 logger #test :End of NAMES list. Thu Jan 11 15:52:22 2001: :logger!=logger@www.daml.org JOIN :#daml Thu Jan 11 15:52:22 2001: :www.daml.org 353 logger = #daml :logger Thu Jan 11 15:52:22 2001: :www.daml.org 366 logger #daml :End of NAMES list. Thu Jan 11 15:52:23 2001: :logger!=logger@www.daml.org JOIN :#daml-lang Thu Jan 11 15:52:23 2001: :www.daml.org 353 logger = #daml-lang :logger Thu Jan 11 15:52:23 2001: :www.daml.org 366 logger #daml-lang :End of NAMES list. Thu Jan 11 15:52:26 2001: :logger!=logger@www.daml.org JOIN :#daml-life Thu Jan 11 15:52:26 2001: :www.daml.org 353 logger = #daml-life :logger Thu Jan 11 15:52:26 2001: :www.daml.org 366 logger #daml-life :End of NAMES list. Thu Jan 11 15:56:22 2001: PING :www.daml.org Thu Jan 11 15:58:23 2001: ERROR :Closing Link: logger[=logger@www.daml.org] (Ping timeout) Tue Jan 16 15:21:03 2001: :www.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@www.daml.org Tue Jan 16 15:21:03 2001: :www.daml.org 002 logger :Your host is www.daml.org, running version 2.10.3 Tue Jan 16 15:21:03 2001: :www.daml.org 003 logger :This server was created Thu Jan 20 2000 at 12:10:49 EET Tue Jan 16 15:21:03 2001: :www.daml.org 004 logger www.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Tue Jan 16 15:21:03 2001: :www.daml.org 251 logger :There are 2 users and 0 services on 1 servers Tue Jan 16 15:21:03 2001: :www.daml.org 253 logger 1 :unknown connections Tue Jan 16 15:21:03 2001: :www.daml.org 254 logger 13 :channels formed Tue Jan 16 15:21:03 2001: :www.daml.org 255 logger :I have 2 clients, 0 services and 0 servers Tue Jan 16 15:21:03 2001: :www.daml.org 375 logger :- www.daml.org Message of the Day - Tue Jan 16 15:21:03 2001: :www.daml.org 372 logger :- 16/1/2001 14:45 Tue Jan 16 15:21:03 2001: :www.daml.org 372 logger :- This is a private IRC server for the DAML program. Tue Jan 16 15:21:03 2001: :www.daml.org 372 logger :- Please report problems to webmaster@daml.org. Tue Jan 16 15:21:03 2001: :www.daml.org 376 logger :End of MOTD command. Tue Jan 16 15:21:03 2001: :www.daml.org 484 logger :Your connection is restricted! Tue Jan 16 15:21:03 2001: :logger MODE logger :+ir Tue Jan 16 15:21:03 2001: :logger!=logger@www.daml.org JOIN :#test Tue Jan 16 15:21:03 2001: :www.daml.org 353 logger = #test :logger mdean Tue Jan 16 15:21:03 2001: :www.daml.org 366 logger #test :End of NAMES list. Tue Jan 16 15:21:03 2001: :logger!=logger@www.daml.org JOIN :#daml Tue Jan 16 15:21:03 2001: :www.daml.org 353 logger = #daml :logger Tue Jan 16 15:21:03 2001: :www.daml.org 366 logger #daml :End of NAMES list. Tue Jan 16 15:21:04 2001: :logger!=logger@www.daml.org JOIN :#daml-lang Tue Jan 16 15:21:04 2001: :www.daml.org 353 logger = #daml-lang :logger Tue Jan 16 15:21:04 2001: :www.daml.org 366 logger #daml-lang :End of NAMES list. Tue Jan 16 15:21:07 2001: :logger!=logger@www.daml.org JOIN :#daml-life Tue Jan 16 15:21:07 2001: :www.daml.org 353 logger = #daml-life :logger Tue Jan 16 15:21:07 2001: :www.daml.org 366 logger #daml-life :End of NAMES list. Tue Jan 16 15:21:10 2001: :logger!=logger@www.daml.org JOIN :#joint-committee Tue Jan 16 15:21:10 2001: :www.daml.org 353 logger = #joint-committee :logger dlm mdean Tue Jan 16 15:21:10 2001: :www.daml.org 366 logger #joint-committee :End of NAMES list. Tue Jan 16 15:21:15 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :hi deb Tue Jan 16 15:37:43 2001: :stefan!+stefan@Stefan.Stanford.EDU JOIN :#joint-committee Tue Jan 16 15:40:50 2001: :jah-darpa!-jhendler@ws222-222.darpa.mil JOIN :#joint-committee Tue Jan 16 15:43:03 2001: :Frankh!+Frank.van@node10467.a2000.nl JOIN :#daml Tue Jan 16 16:03:58 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :hi - was on break but am back Tue Jan 16 16:05:39 2001: :jah-darpa!-jhendler@ws222-222.darpa.mil PRIVMSG #joint-committee :Hi Mike - I'm on the phone and the chat. Tue Jan 16 16:13:58 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#daml Tue Jan 16 16:16:21 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PART #daml :Kelly Tue Jan 16 16:16:31 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee Tue Jan 16 16:43:31 2001: :stefan!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :But the problems remains to identify the "1" as 1 in the RDF document Tue Jan 16 16:44:03 2001: :stefan!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :Dan: are you suggesting to change the RDF syntax and model? Tue Jan 16 17:00:26 2001: :jflynn!-jflynn@ros-dhcp050-160.bbn.com JOIN :#daml Tue Jan 16 17:01:25 2001: :jflynn!-jflynn@ros-dhcp050-160.bbn.com QUIT :Leaving Tue Jan 16 17:19:44 2001: :jah-darpa!-jhendler@ws222-222.darpa.mil QUIT : Tue Jan 16 17:25:26 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PART #joint-committee :Kelly Tue Jan 16 17:43:58 2001: :mdean!-mdean@hh1114013.direcpc.com PART #joint-committee :mdean Tue Jan 16 18:29:58 2001: :stefan!+stefan@Stefan.Stanford.EDU PART #joint-committee :stefan Tue Jan 16 18:34:34 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#daml Tue Jan 16 18:56:31 2001: :Frankh!+Frank.van@node10467.a2000.nl QUIT : Tue Jan 16 18:57:28 2001: :Frankh!+Frank.van@node10467.a2000.nl JOIN :#joint-committee Tue Jan 16 18:57:47 2001: :Frankh!+Frank.van@node10467.a2000.nl QUIT : Tue Jan 16 21:17:51 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :exit Tue Jan 16 21:17:54 2001: :dlm!+test@KSL-2.Stanford.EDU QUIT : Wed Jan 17 06:57:33 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT :No route to host Tue Jan 23 02:59:09 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#test Tue Jan 23 02:59:28 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #test :hi logger Tue Jan 23 03:00:27 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#joint-committee Tue Jan 23 03:00:35 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :hi logger Tue Jan 23 12:18:42 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com JOIN :#joint-committee Tue Jan 23 12:19:09 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :Testing, does this actually work? Tue Jan 23 12:40:52 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :hi peter Tue Jan 23 13:04:18 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :OK, thanks. Tue Jan 23 14:54:48 2001: :irc!-heflin@redqueen.cs.umd.edu JOIN :#joint-committee Tue Jan 23 15:09:14 2001: :irc!-heflin@redqueen.cs.umd.edu JOIN :#test Tue Jan 23 15:30:05 2001: :irc!-heflin@redqueen.cs.umd.edu QUIT :Leaving Tue Jan 23 15:33:21 2001: :horrocks!=horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Jan 23 15:33:52 2001: :horrocks!=horrocks@oaklands.demon.co.uk QUIT :[x]chat Tue Jan 23 15:34:37 2001: :Ian!=horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Jan 23 15:34:57 2001: :Ian!=horrocks@oaklands.demon.co.uk PART #joint-committee :Ian Tue Jan 23 15:56:01 2001: :stefan!+stefan@Stefan.Stanford.EDU JOIN :#joint-committee Tue Jan 23 15:59:54 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee Tue Jan 23 16:03:51 2001: :Ian!=horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Jan 23 16:07:12 2001: :jheflin!-heflin@redqueen.cs.umd.edu JOIN :#joint-committee Tue Jan 23 16:08:13 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil JOIN :#joint-committee Tue Jan 23 16:09:01 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Role Call: Tue Jan 23 16:09:13 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Ian, Mike, Peter, Jim, Stefan, Jeff ... did I miss anyone? Tue Jan 23 16:09:44 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Announcements: Tue Jan 23 16:10:15 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :International calling cards ... talk to John Flynn Tue Jan 23 16:10:22 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :IRC Chat up in parallel Tue Jan 23 16:10:34 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :New www.daml.org site will be launched this week Tue Jan 23 16:11:04 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Corrections ... no one spoke up Tue Jan 23 16:11:24 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Meeting: Tue Jan 23 16:11:32 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Ian's revised proposal Tue Jan 23 16:11:42 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Jeff and Peter's conversation about restrictions on property ... Tue Jan 23 16:11:57 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :(noted) Ian and Peter's proposal Tue Jan 23 16:12:45 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :we are far ahead of rdf schema ... so we may chose a way that is different from what rdf accepts later on Tue Jan 23 16:14:25 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :looking at the example, santa ... putting data types inline with the propert Tue Jan 23 16:16:48 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :The type can sometimes be determined from the range that is listed for the property ... ie the shoe size has a range of decimal so you know that the property value 9.5 is a decimal without having to specify it Tue Jan 23 16:17:18 2001: :las!+las@24-6-132.wireless.lcs.mit.edu JOIN :#joint-committee Tue Jan 23 16:17:39 2001: :las!+las@24-6-132.wireless.lcs.mit.edu PRIVMSG #joint-committee :ACTION marvels at the difference in internet connections between the two sides of this building. Tue Jan 23 16:17:59 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee : *grins* Tue Jan 23 16:18:47 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :... Lynn has joined ... Tue Jan 23 16:19:16 2001: :las!+las@24-6-132.wireless.lcs.mit.edu PRIVMSG #joint-committee :ACTION joined by voice about 5 minutes ago, but could only just now convince the computer to talk to daml.org. Tue Jan 23 16:20:31 2001: :las!+las@24-6-132.wireless.lcs.mit.edu PRIVMSG #joint-committee :ACTION tried to mute again, and instead dropped out of the voice channel. I just love this technology :o( Tue Jan 23 16:21:53 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :... Tim has joined ... Tue Jan 23 16:22:27 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Talk about the Q (?) properties and Jeff's proposal Tue Jan 23 16:23:05 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :More of a discussion about parallel properties ... two properties, one for each concrete and abstract Tue Jan 23 16:25:42 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Example ... hasValue and hasDataValue ... Tue Jan 23 16:25:59 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :we have them because of the disjointness of the properties Tue Jan 23 16:26:17 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Suggested (Jeff) that they can be disjoint with a class that joins them Tue Jan 23 16:27:27 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Semantically they are pretty much the same, so why does the syntax have to be different? Tue Jan 23 16:28:19 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Peter ... not convinced that is would me more difficult .. just do away with it in one fell swoop Tue Jan 23 16:29:12 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Tim - seems like people will want to say that a title is concrete, or that it is abstract and may contain pictures, or other things Tue Jan 23 16:29:41 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Tim - seems like this decision might be arbitrary Tue Jan 23 16:35:31 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike - we have a top class for concrete types, should we have one that is the top class for concrete and abstract Tue Jan 23 16:35:57 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :This breaks simplicity Tue Jan 23 16:36:08 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :This also breaks rdf Tue Jan 23 16:40:51 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :ACTION just figured out why I keep yelling and no one hears me - I somehow had been transformed into muted mode -- las is right about this technology! Tue Jan 23 16:42:02 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Jim - use issues vs. logically consistent. Tue Jan 23 16:49:52 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :request to have these examples written down Tue Jan 23 16:50:22 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :*wishes she was better at recognizing peoples voices* Tue Jan 23 16:50:48 2001: :jheflin!-heflin@redqueen.cs.umd.edu PRIVMSG #joint-committee :Ian made the request, Tim accepted to do it Tue Jan 23 16:51:03 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike - request to revisit the Q predicate Tue Jan 23 16:52:19 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :Jim H. has to go -- keep up the good work all - signing off the phone. Tue Jan 23 16:56:10 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Could different types of restrictions simplify this ... or fix this? (who said it?) Tue Jan 23 16:56:18 2001: :jheflin!-heflin@redqueen.cs.umd.edu PRIVMSG #joint-committee :I did Tue Jan 23 16:56:27 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee ::) Tue Jan 23 16:58:48 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee : ... Deb has been here, just heard her ... Tue Jan 23 16:59:30 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Deb suggests that cutting down is too dangerous to pursue Tue Jan 23 16:59:49 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike - put doctor and children example in the notes (oops) and maybe add it to the walkthrough Tue Jan 23 17:01:47 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :recommend that we keep the hasQ separate ... Deb Tue Jan 23 17:02:13 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Ian ... we plan to keep it, how do we keep the growth under control? Tue Jan 23 17:05:01 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Sometimes simplification in terms of having less properties means making the semantics or tools more difficult Tue Jan 23 17:07:51 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike - request that Deb write something up and send it to rdf-logic about the feedback from the lady writing the parser Tue Jan 23 17:08:13 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike - are we ready to make a decision on the concrete types Tue Jan 23 17:09:30 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike - anyone want to take an action item -- looking at the semantics about using hasValue and hasDataValue - Tue Jan 23 17:12:38 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Jeff would like to hear opinions from others! Tue Jan 23 17:12:55 2001: :las!+las@24-6-132.wireless.lcs.mit.edu QUIT :turning into a pumpkin.... Tue Jan 23 17:13:14 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike - homework assignment to think about this! And to come back with suggestions to fix the things they are worried about. Tue Jan 23 17:15:27 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Motion to accept the concrete data types proposal next week. All suggestions need to be concrete at this point. Tue Jan 23 17:19:24 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Meeting adjourned. Tue Jan 23 17:19:29 2001: :jheflin!-heflin@redqueen.cs.umd.edu QUIT :Leaving Tue Jan 23 17:19:39 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PART #joint-committee :Kelly Tue Jan 23 17:21:10 2001: :Ian!=horrocks@oaklands.demon.co.uk PART #joint-committee :Ian Tue Jan 23 18:00:58 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PART #joint-committee :Hendler gone Tue Jan 23 18:19:54 2001: :stefan!+stefan@Stefan.Stanford.EDU QUIT : Wed Jan 24 08:29:59 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com QUIT : Wed Jan 24 08:42:27 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT :Connection reset by peer Thu Jan 25 02:20:37 2001: :www.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@www.daml.org Thu Jan 25 02:20:37 2001: :www.daml.org 002 logger :Your host is www.daml.org, running version 2.10.3 Thu Jan 25 02:20:37 2001: :www.daml.org 003 logger :This server was created Thu Jan 20 2000 at 12:10:49 EET Thu Jan 25 02:20:37 2001: :www.daml.org 004 logger www.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Thu Jan 25 02:20:37 2001: :www.daml.org 251 logger :There are 0 users and 0 services on 1 servers Thu Jan 25 02:20:37 2001: :www.daml.org 253 logger 1 :unknown connections Thu Jan 25 02:20:37 2001: :www.daml.org 254 logger 11 :channels formed Thu Jan 25 02:20:37 2001: :www.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Thu Jan 25 02:20:37 2001: :www.daml.org 375 logger :- www.daml.org Message of the Day - Thu Jan 25 02:20:37 2001: :www.daml.org 372 logger :- 16/1/2001 14:45 Thu Jan 25 02:20:37 2001: :www.daml.org 372 logger :- This is a private IRC server for the DAML program. Thu Jan 25 02:20:37 2001: :www.daml.org 372 logger :- Please report problems to webmaster@daml.org. Thu Jan 25 02:20:37 2001: :www.daml.org 376 logger :End of MOTD command. Thu Jan 25 02:20:37 2001: :www.daml.org 484 logger :Your connection is restricted! Thu Jan 25 02:20:37 2001: :logger MODE logger :+ir Thu Jan 25 02:20:37 2001: :logger!=logger@www.daml.org JOIN :#test Thu Jan 25 02:20:37 2001: :www.daml.org 353 logger = #test :logger Thu Jan 25 02:20:37 2001: :www.daml.org 366 logger #test :End of NAMES list. Thu Jan 25 02:20:37 2001: :logger!=logger@www.daml.org JOIN :#daml Thu Jan 25 02:20:37 2001: :www.daml.org 353 logger = #daml :logger Thu Jan 25 02:20:37 2001: :www.daml.org 366 logger #daml :End of NAMES list. Thu Jan 25 02:20:38 2001: :logger!=logger@www.daml.org JOIN :#daml-lang Thu Jan 25 02:20:38 2001: :www.daml.org 353 logger = #daml-lang :logger Thu Jan 25 02:20:38 2001: :www.daml.org 366 logger #daml-lang :End of NAMES list. Thu Jan 25 02:20:41 2001: :logger!=logger@www.daml.org JOIN :#daml-life Thu Jan 25 02:20:41 2001: :www.daml.org 353 logger = #daml-life :logger Thu Jan 25 02:20:41 2001: :www.daml.org 366 logger #daml-life :End of NAMES list. Thu Jan 25 02:20:44 2001: :logger!=logger@www.daml.org JOIN :#joint-committee Thu Jan 25 02:20:44 2001: :www.daml.org 353 logger = #joint-committee :logger Thu Jan 25 02:20:44 2001: :www.daml.org 366 logger #joint-committee :End of NAMES list. Thu Jan 25 18:00:19 2001: :www.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@www.daml.org Thu Jan 25 18:00:19 2001: :www.daml.org 002 logger :Your host is www.daml.org, running version 2.10.3 Thu Jan 25 18:00:19 2001: :www.daml.org 003 logger :This server was created Thu Jan 20 2000 at 12:10:49 EET Thu Jan 25 18:00:19 2001: :www.daml.org 004 logger www.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Thu Jan 25 18:00:19 2001: :www.daml.org 251 logger :There are 0 users and 0 services on 1 servers Thu Jan 25 18:00:19 2001: :www.daml.org 253 logger 1 :unknown connections Thu Jan 25 18:00:19 2001: :www.daml.org 254 logger 11 :channels formed Thu Jan 25 18:00:19 2001: :www.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Thu Jan 25 18:00:19 2001: :www.daml.org 375 logger :- www.daml.org Message of the Day - Thu Jan 25 18:00:19 2001: :www.daml.org 372 logger :- 16/1/2001 14:45 Thu Jan 25 18:00:19 2001: :www.daml.org 372 logger :- This is a private IRC server for the DAML program. Thu Jan 25 18:00:19 2001: :www.daml.org 372 logger :- Please report problems to webmaster@daml.org. Thu Jan 25 18:00:19 2001: :www.daml.org 376 logger :End of MOTD command. Thu Jan 25 18:00:19 2001: :www.daml.org 484 logger :Your connection is restricted! Thu Jan 25 18:00:19 2001: :logger MODE logger :+ir Thu Jan 25 18:00:19 2001: :logger!=logger@www.daml.org JOIN :#test Thu Jan 25 18:00:19 2001: :www.daml.org 353 logger = #test :logger Thu Jan 25 18:00:19 2001: :www.daml.org 366 logger #test :End of NAMES list. Thu Jan 25 18:00:19 2001: :logger!=logger@www.daml.org JOIN :#daml Thu Jan 25 18:00:19 2001: :www.daml.org 353 logger = #daml :logger Thu Jan 25 18:00:19 2001: :www.daml.org 366 logger #daml :End of NAMES list. Thu Jan 25 18:00:20 2001: :logger!=logger@www.daml.org JOIN :#daml-lang Thu Jan 25 18:00:20 2001: :www.daml.org 353 logger = #daml-lang :logger Thu Jan 25 18:00:20 2001: :www.daml.org 366 logger #daml-lang :End of NAMES list. Thu Jan 25 18:00:23 2001: :logger!=logger@www.daml.org JOIN :#daml-life Thu Jan 25 18:00:23 2001: :www.daml.org 353 logger = #daml-life :logger Thu Jan 25 18:00:23 2001: :www.daml.org 366 logger #daml-life :End of NAMES list. Thu Jan 25 18:00:26 2001: :logger!=logger@www.daml.org JOIN :#joint-committee Thu Jan 25 18:00:26 2001: :www.daml.org 353 logger = #joint-committee :logger Thu Jan 25 18:00:26 2001: :www.daml.org 366 logger #joint-committee :End of NAMES list. Mon Jan 29 02:13:39 2001: :irc.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@irc.daml.org Mon Jan 29 02:13:39 2001: :irc.daml.org 002 logger :Your host is irc.daml.org, running version 2.10.3 Mon Jan 29 02:13:39 2001: :irc.daml.org 003 logger :This server was created Thu Jan 13 2000 at 15:55:34 EET Mon Jan 29 02:13:39 2001: :irc.daml.org 004 logger irc.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Mon Jan 29 02:13:39 2001: :irc.daml.org 251 logger :There are 0 users and 0 services on 1 servers Mon Jan 29 02:13:39 2001: :irc.daml.org 253 logger 1 :unknown connections Mon Jan 29 02:13:39 2001: :irc.daml.org 254 logger 11 :channels formed Mon Jan 29 02:13:39 2001: :irc.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Mon Jan 29 02:13:39 2001: :irc.daml.org 375 logger :- irc.daml.org Message of the Day - Mon Jan 29 02:13:39 2001: :irc.daml.org 372 logger :- 25/1/2001 19:23 Mon Jan 29 02:13:39 2001: :irc.daml.org 372 logger :- This is a private IRC server for the DAML program. Mon Jan 29 02:13:39 2001: :irc.daml.org 372 logger :- Please report problems to webmaster@daml.org. Mon Jan 29 02:13:39 2001: :irc.daml.org 376 logger :End of MOTD command. Mon Jan 29 02:13:39 2001: :irc.daml.org 484 logger :Your connection is restricted! Mon Jan 29 02:13:39 2001: :logger MODE logger :+ir Mon Jan 29 02:13:39 2001: :logger!=logger@irc.daml.org JOIN :#test Mon Jan 29 02:13:39 2001: :irc.daml.org 353 logger = #test :logger Mon Jan 29 02:13:39 2001: :irc.daml.org 366 logger #test :End of NAMES list. Mon Jan 29 02:13:39 2001: :logger!=logger@irc.daml.org JOIN :#daml Mon Jan 29 02:13:39 2001: :irc.daml.org 353 logger = #daml :logger Mon Jan 29 02:13:39 2001: :irc.daml.org 366 logger #daml :End of NAMES list. Mon Jan 29 02:13:40 2001: :logger!=logger@irc.daml.org JOIN :#daml-lang Mon Jan 29 02:13:40 2001: :irc.daml.org 353 logger = #daml-lang :logger Mon Jan 29 02:13:40 2001: :irc.daml.org 366 logger #daml-lang :End of NAMES list. Mon Jan 29 02:13:43 2001: :logger!=logger@irc.daml.org JOIN :#daml-life Mon Jan 29 02:13:43 2001: :irc.daml.org 353 logger = #daml-life :logger Mon Jan 29 02:13:43 2001: :irc.daml.org 366 logger #daml-life :End of NAMES list. Mon Jan 29 02:13:46 2001: :logger!=logger@irc.daml.org JOIN :#joint-committee Mon Jan 29 02:13:46 2001: :irc.daml.org 353 logger = #joint-committee :logger Mon Jan 29 02:13:46 2001: :irc.daml.org 366 logger #joint-committee :End of NAMES list. Mon Jan 29 02:14:31 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#test Mon Jan 29 02:14:34 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #test :hi logger Mon Jan 29 02:25:43 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT : Tue Jan 30 15:26:48 2001: :mdean!-mdean@64.134.33.117 JOIN :#joint-committee Tue Jan 30 15:53:32 2001: :Ian!-horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Jan 30 15:58:10 2001: :jheflin!-heflin@redqueen.cs.umd.edu JOIN :#joint-committee Tue Jan 30 15:59:27 2001: :ora!-ora@adsl-141-154-15-140.bostma.adsl.bellatlantic.net JOIN :#joint-committee Tue Jan 30 16:00:09 2001: :ora!-ora@adsl-141-154-15-140.bostma.adsl.bellatlantic.net PRIVMSG #joint-committee :Hey, what's the phone # and password for the conference call? Tue Jan 30 16:00:31 2001: :ora!-ora@adsl-141-154-15-140.bostma.adsl.bellatlantic.net PRIVMSG #joint-committee :(wrong machine, no access to regular email) Tue Jan 30 16:00:53 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee Tue Jan 30 16:01:16 2001: :Ian!-horrocks@oaklands.demon.co.uk PRIVMSG #joint-committee : U.S.: 888-483-2662 Tue Jan 30 16:01:24 2001: :Ian!-horrocks@oaklands.demon.co.uk PRIVMSG #joint-committee :outside U.S.: +1-310-312-5889 Tue Jan 30 16:01:42 2001: :Ian!-horrocks@oaklands.demon.co.uk PRIVMSG #joint-committee :Enter passcode 6428 followed by the # sign Tue Jan 30 16:01:46 2001: :ora!-ora@adsl-141-154-15-140.bostma.adsl.bellatlantic.net PRIVMSG #joint-committee :thanks Tue Jan 30 16:02:31 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Role Call Tue Jan 30 16:03:39 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike, Lynn, Peter, Ora, Ian, Frank, Jeff, miss anyone? Tue Jan 30 16:04:00 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :New www.daml.org up and running Tue Jan 30 16:04:15 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :joint committee email archive is now public Tue Jan 30 16:04:26 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Corrections to last weeks meeting? Tue Jan 30 16:04:38 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Minutes approved! Tue Jan 30 16:05:03 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Main agenda item ... reach a consensus on the concrete types proposal Tue Jan 30 16:05:57 2001: :Frankh!-Frank.van@node10467.a2000.nl JOIN :#joint-committee Tue Jan 30 16:06:30 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Summary requested :) Tue Jan 30 16:06:32 2001: :ora!-ora@adsl-141-154-15-140.bostma.adsl.bellatlantic.net QUIT :Ping timeout Tue Jan 30 16:06:53 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Ian: Jeff didn't like the separation of concrete and abstract propoerties and the necessity for duplicating the syntax Tue Jan 30 16:07:20 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Ian: I believe there is a good reason, its the only way you can get the semantics to work Tue Jan 30 16:07:45 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Ian: Negating restrictions where properties are involved gives problems with semantics Tue Jan 30 16:09:33 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Clarification questions: Does this proposal mean that concrete and abstract domains are forever disjoint? Yes. Tue Jan 30 16:09:40 2001: :las!-las@gonzo.ai.mit.edu JOIN :#joint-committee Tue Jan 30 16:11:13 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Question: Can you take a union of integers (concrete) and other things (abstract)? No. Tue Jan 30 16:12:59 2001: :las!-las@gonzo.ai.mit.edu PRIVMSG #joint-committee :Ian: We're going around in circles. Tue Jan 30 16:13:18 2001: :las!-las@gonzo.ai.mit.edu PRIVMSG #joint-committee :Stephan: No, there have been concerns re: separation of concrete and abstract types all along. Tue Jan 30 16:15:15 2001: :ora!-ora@adsl-141-154-15-140.bostma.adsl.bellatlantic.net JOIN :#joint-committee Tue Jan 30 16:15:28 2001: :las!-las@gonzo.ai.mit.edu PRIVMSG #joint-committee :Ian (Frank?): the issue is whether to restrict the language so we can guarantee soundness, completeness, and reasonably efficient inference or whether we can only infer over a subset of the language. Tue Jan 30 16:15:59 2001: :las!-las@gonzo.ai.mit.edu PRIVMSG #joint-committee :Pat: What is the concrete difficulty of allowing mixed classes? Tue Jan 30 16:16:27 2001: :las!-las@gonzo.ai.mit.edu PRIVMSG #joint-committee :pfps: (1) mixing makes it hell to implement and (2) [pjh interrupts] Tue Jan 30 16:16:48 2001: :las!-las@gonzo.ai.mit.edu PRIVMSG #joint-committee :pfps: Do we allow people to put properties on numbers? Tue Jan 30 16:17:29 2001: :las!-las@gonzo.ai.mit.edu PRIVMSG #joint-committee :(Roughly: PJH yes, PFPS no) Tue Jan 30 16:20:03 2001: :mdean!-mdean@64.134.33.117 PRIVMSG #joint-committee :question for the (non-speaking group): rdfs:Property can currently take on abstract or concrete (literal) values Tue Jan 30 16:20:34 2001: :mdean!-mdean@64.134.33.117 PRIVMSG #joint-committee :can we make AbstractProperty and ConcreteProperty disjoint subClasses of rdfs:Property Tue Jan 30 16:20:57 2001: :las!-las@gonzo.ai.mit.edu PRIVMSG #joint-committee :Is Dan Connolly on the voice channel? Tue Jan 30 16:21:15 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :He wasn't on at role call Tue Jan 30 16:21:20 2001: :mdean!-mdean@64.134.33.117 PRIVMSG #joint-committee :spanning for now, with the possibility that future language revisions might relax this restriction for other subclases of rdfs:Property? Tue Jan 30 16:25:06 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike: Deb requested last week that we take a vote this week. We would like to get this far today. Tue Jan 30 16:27:48 2001: :las!-las@gonzo.ai.mit.edu QUIT :going to look for tim and dan.... Tue Jan 30 16:33:57 2001: :ora!-ora@adsl-141-154-15-140.bostma.adsl.bellatlantic.net QUIT :Ping timeout Tue Jan 30 16:35:33 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :example of the type of property you might want to put on the integers: property that they at some time were the number of employees in my company. Tue Jan 30 16:38:34 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :does anyone know of a reasoner that is efficient doing this? Snark(?) Tue Jan 30 16:40:19 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Ian: We have one proposal and some problems with this. Perhaps the next move is to come up with a second proposal. Tue Jan 30 16:43:04 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Lynn: This concrete types proposal makes it possible that things we do in the future will not be compatible with this. Tue Jan 30 16:43:53 2001: :dlm!-dlm@KSL-2.Stanford.EDU JOIN :#joint-committee Tue Jan 30 16:44:17 2001: :dlm!-dlm@KSL-2.Stanford.EDU PRIVMSG #joint-committee :sorry - just got to a computer so am just online now Tue Jan 30 16:44:37 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :This is Dieter? Tue Jan 30 16:44:46 2001: :dlm!-dlm@KSL-2.Stanford.EDU PRIVMSG #joint-committee :no - deborah McGuinness Tue Jan 30 16:44:53 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :hehe, ok, guessing on d names :) Tue Jan 30 16:45:17 2001: :dlm!-dlm@KSL-2.Stanford.EDU PRIVMSG #joint-committee :no problem (dieter's login is dieter) Tue Jan 30 16:48:01 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Deb: Retracts her motion to vote today. Tue Jan 30 16:48:30 2001: :Ian!-horrocks@oaklands.demon.co.uk PRIVMSG #joint-committee :Using XML Schema Datatypes in RDF and DAML+OIL http://www.w3.org/2001/01/ct24 Tue Jan 30 16:49:16 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Tim is on voice channel Tue Jan 30 16:52:06 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike: Take last minutes to finish up some more topics Tue Jan 30 16:52:35 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike: About concrete types proposal, wait and see what we get this next week Tue Jan 30 16:53:19 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Ian: Phrase it stronger ... we need something new before we discuss this again. Tue Jan 30 16:56:06 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Request that Deb respond to the rdf-logic list about having dealt with the separation of concrete and abstract. Tue Jan 30 17:04:19 2001: :las!-las@gonzo.ai.mit.edu JOIN :#joint-committee Tue Jan 30 17:07:14 2001: :mdean!-mdean@64.134.33.117 QUIT :Ping timeout Tue Jan 30 17:09:36 2001: :dlm!-dlm@KSL-2.Stanford.EDU PRIVMSG #joint-committee :I will post something about using a system with the separation Tue Jan 30 17:15:51 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike: Tue Jan 30 17:16:29 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Three main activities on the language: Presentation first day - straw man in meetings, please look at it. Tue Jan 30 17:16:49 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Break out sessions - chance to extend these discussions, 90 minutes to two hours. Tue Jan 30 17:17:25 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Birds of a feather sessions - two sessions with maybe four parallel tracks ... less formal than break out sessions Tue Jan 30 17:17:42 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Perhaps one will be about rules ... other topics a group are interested in, that would be good. Tue Jan 30 17:18:09 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Idea of the BOF is that something long term may or may not come of them. Tue Jan 30 17:18:49 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Who is coming? Tue Jan 30 17:18:56 2001: :Frankh!-Frank.van@node10467.a2000.nl QUIT :Ping timeout Tue Jan 30 17:20:06 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Deb, Pat, Jeff, Ian, Frank, Mike, (no Dan C), (no Tim) Tue Jan 30 17:20:55 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Speakerphones available for the break out groups on the 14 adn 15th? Yes, that can be arranged Tue Jan 30 17:22:01 2001: :dlm!-dlm@KSL-2.Stanford.EDU PRIVMSG #joint-committee :is there a url for the proposed agenda? Tue Jan 30 17:23:04 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Deb, I will try to track down a url for you and put it in the minutes. Tue Jan 30 17:23:13 2001: :dlm!-dlm@KSL-2.Stanford.EDU PRIVMSG #joint-committee :thx Tue Jan 30 17:24:00 2001: :Frankh!-Frank.van@node10467.a2000.nl JOIN :#joint-committee Tue Jan 30 17:27:10 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Other suggestions for bof sessions would be great ... send them to Mike. Tue Jan 30 17:27:26 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Meeting adjourned.... Tue Jan 30 17:27:28 2001: :Kelly!-kmbarber@c452690-d.spokn1.wa.home.com QUIT : Tue Jan 30 17:27:39 2001: :jheflin!-heflin@redqueen.cs.umd.edu PRIVMSG #joint-committee :./exit Tue Jan 30 17:27:46 2001: :jheflin!-heflin@redqueen.cs.umd.edu QUIT :Leaving Tue Jan 30 17:27:51 2001: :Frankh!-Frank.van@node10467.a2000.nl QUIT : Tue Jan 30 17:27:52 2001: :Ian!-horrocks@oaklands.demon.co.uk PART #joint-committee :Ian Tue Jan 30 17:28:04 2001: :las!-las@gonzo.ai.mit.edu QUIT :turining into a pumpkin.... Tue Jan 30 18:54:14 2001: :dlm!-dlm@KSL-2.Stanford.EDU PRIVMSG #joint-committee :exit Tue Jan 30 18:54:17 2001: :dlm!-dlm@KSL-2.Stanford.EDU PRIVMSG #joint-committee :quit Tue Jan 30 18:54:21 2001: :dlm!-dlm@KSL-2.Stanford.EDU QUIT : Tue Feb 6 15:16:48 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil JOIN :#joint-committee Tue Feb 6 15:51:06 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#joint-committee Tue Feb 6 15:56:50 2001: :Ian!-horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Feb 6 15:57:04 2001: :ora!-ora@adsl-141-154-12-34.bostma.adsl.bellatlantic.net JOIN :#joint-committee Tue Feb 6 15:57:23 2001: :Ian!-horrocks@oaklands.demon.co.uk PRIVMSG #joint-committee :Hi Mike, Hi Ora Tue Feb 6 15:57:36 2001: :ora!-ora@adsl-141-154-12-34.bostma.adsl.bellatlantic.net PRIVMSG #joint-committee :Good afternoon Ian (et al) Tue Feb 6 16:02:27 2001: :jeff!-heflin@redqueen.cs.umd.edu JOIN :#joint-committee Tue Feb 6 16:02:29 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :jim H joining on both phone and IRC Tue Feb 6 16:02:59 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com JOIN :#joint-committee Tue Feb 6 16:03:22 2001: :las!-las@208.171.201.138 JOIN :#joint-committee Tue Feb 6 16:03:53 2001: :dlm!-dlm@KSL-2.Stanford.EDU JOIN :#joint-committee Tue Feb 6 16:05:18 2001: :Frankh!-Frank.van@node10467.a2000.nl JOIN :#joint-committee Tue Feb 6 16:05:49 2001: :las!-las@208.171.201.138 PRIVMSG #joint-committee :Who is on the voice line? Tue Feb 6 16:06:32 2001: :Frankh!-Frank.van@node10467.a2000.nl PRIVMSG #joint-committee :http://www.w3.org/2001/01/ct24 Tue Feb 6 16:08:13 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :hi Tim... Tue Feb 6 16:20:58 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :I made that same mistake last week -- you have to use the join menu command, and then be sure to pick both correct server and Tue Feb 6 16:45:20 2001: :Frankh!-Frank.van@node10467.a2000.nl PRIVMSG #joint-committee :http://www.cs.man.ac.uk/~horrocks/daml+oil/Datatypes/ Tue Feb 6 16:45:43 2001: :las!-las@208.171.201.138 PRIVMSG #joint-committee :Agenda request: can we make sure we get some time to discuss next week's meeting? Tue Feb 6 16:50:24 2001: :Ian!-horrocks@oaklands.demon.co.uk QUIT :Ping timeout Tue Feb 6 16:53:42 2001: :stefan!-stefan@Stefan.Stanford.EDU JOIN :#joint-committee Tue Feb 6 17:13:51 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil QUIT :science fair time Tue Feb 6 17:13:53 2001: :Ian!-horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Feb 6 17:19:39 2001: :ora!-ora@adsl-141-154-12-34.bostma.adsl.bellatlantic.net QUIT :Ping timeout Tue Feb 6 17:27:51 2001: :las!-las@208.171.201.138 QUIT :turning into a pumpkin.... Tue Feb 6 17:38:05 2001: :jeff!-heflin@redqueen.cs.umd.edu PRIVMSG #joint-committee :Gotta go. Tue Feb 6 17:38:09 2001: :jeff!-heflin@redqueen.cs.umd.edu QUIT :Leaving Tue Feb 6 18:07:47 2001: :dlm!-dlm@KSL-2.Stanford.EDU QUIT :Ping timeout Tue Feb 6 18:07:47 2001: :stefan!-stefan@Stefan.Stanford.EDU QUIT :Ping timeout Tue Feb 6 18:34:06 2001: :Ian!-horrocks@oaklands.demon.co.uk QUIT :Ping timeout Tue Feb 6 18:44:12 2001: :Frankh!-Frank.van@node10467.a2000.nl QUIT : Tue Feb 6 19:10:28 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT :Ping timeout Tue Feb 6 20:10:31 2001: :irc.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@irc.daml.org Tue Feb 6 20:10:31 2001: :irc.daml.org 002 logger :Your host is irc.daml.org, running version 2.10.3 Tue Feb 6 20:10:31 2001: :irc.daml.org 003 logger :This server was created Thu Jan 13 2000 at 15:55:34 EET Tue Feb 6 20:10:31 2001: :irc.daml.org 004 logger irc.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Tue Feb 6 20:10:31 2001: :irc.daml.org 251 logger :There are 1 users and 0 services on 1 servers Tue Feb 6 20:10:31 2001: :irc.daml.org 253 logger 1 :unknown connections Tue Feb 6 20:10:31 2001: :irc.daml.org 254 logger 12 :channels formed Tue Feb 6 20:10:31 2001: :irc.daml.org 255 logger :I have 1 clients, 0 services and 0 servers Tue Feb 6 20:10:31 2001: :irc.daml.org 375 logger :- irc.daml.org Message of the Day - Tue Feb 6 20:10:31 2001: :irc.daml.org 372 logger :- 25/1/2001 19:23 Tue Feb 6 20:10:31 2001: :irc.daml.org 372 logger :- This is a private IRC server for the DAML program. Tue Feb 6 20:10:31 2001: :irc.daml.org 372 logger :- Please report problems to webmaster@daml.org. Tue Feb 6 20:10:31 2001: :irc.daml.org 376 logger :End of MOTD command. Tue Feb 6 20:10:31 2001: :irc.daml.org 484 logger :Your connection is restricted! Tue Feb 6 20:10:31 2001: :logger MODE logger :+ir Tue Feb 6 20:10:31 2001: :logger!=logger@irc.daml.org JOIN :#test Tue Feb 6 20:10:31 2001: :irc.daml.org 353 logger = #test :logger Tue Feb 6 20:10:31 2001: :irc.daml.org 366 logger #test :End of NAMES list. Tue Feb 6 20:10:31 2001: :logger!=logger@irc.daml.org JOIN :#daml Tue Feb 6 20:10:31 2001: :irc.daml.org 353 logger = #daml :logger Tue Feb 6 20:10:31 2001: :irc.daml.org 366 logger #daml :End of NAMES list. Tue Feb 6 20:10:32 2001: :logger!=logger@irc.daml.org JOIN :#daml-lang Tue Feb 6 20:10:32 2001: :irc.daml.org 353 logger = #daml-lang :logger Tue Feb 6 20:10:32 2001: :irc.daml.org 366 logger #daml-lang :End of NAMES list. Tue Feb 6 20:10:35 2001: :logger!=logger@irc.daml.org JOIN :#daml-life Tue Feb 6 20:10:35 2001: :irc.daml.org 353 logger = #daml-life :logger Tue Feb 6 20:10:35 2001: :irc.daml.org 366 logger #daml-life :End of NAMES list. Tue Feb 6 20:10:38 2001: :logger!=logger@irc.daml.org JOIN :#joint-committee Tue Feb 6 20:10:38 2001: :irc.daml.org 353 logger = #joint-committee :logger pfps Tue Feb 6 20:10:38 2001: :irc.daml.org 366 logger #joint-committee :End of NAMES list. Tue Feb 6 20:11:10 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#test Tue Feb 6 20:11:20 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #test :user limit should now be 100 Wed Feb 7 08:27:22 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com QUIT : Wed Feb 7 23:40:18 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT :Connection reset by peer Mon Feb 12 18:26:16 2001: :mdean!-mdean@38.231.229.47 JOIN :#test Mon Feb 12 18:26:20 2001: :mdean!-mdean@38.231.229.47 PRIVMSG #test :hi logger! Mon Feb 12 18:45:00 2001: :mdean!-mdean@38.231.229.47 QUIT :Connection reset by peer Tue Feb 13 09:13:41 2001: :mdean!-mdean@38.231.229.112 JOIN :#daml Tue Feb 13 09:52:10 2001: :jflynn!-jflynn@38.231.229.112 JOIN :#daml Tue Feb 13 11:16:30 2001: :mdean!-mdean@38.231.229.112 QUIT :Connection reset by peer Tue Feb 13 11:17:46 2001: :las!-las@38.231.229.112 JOIN :#joint-committee Tue Feb 13 11:17:51 2001: :las!-las@38.231.229.112 PART #joint-committee :las Tue Feb 13 11:51:38 2001: :mdean!-mdean@38.231.229.112 JOIN :#daml Tue Feb 13 11:59:05 2001: :mdean!-mdean@38.231.229.112 QUIT : Tue Feb 13 11:59:36 2001: :las!-las@38.231.229.112 JOIN :#daml-life Tue Feb 13 11:59:42 2001: :las!-las@38.231.229.112 PART #daml-life :las Tue Feb 13 11:59:44 2001: :las!-las@38.231.229.112 JOIN :#daml-lang Tue Feb 13 11:59:48 2001: :las!-las@38.231.229.112 PART #daml-lang :las Tue Feb 13 11:59:58 2001: :las!-las@38.231.229.112 JOIN :#daml Tue Feb 13 12:00:15 2001: :las!-las@38.231.229.112 PART #daml :las Tue Feb 13 12:00:26 2001: :las!-las@38.231.229.112 JOIN :#joint-committee Tue Feb 13 12:00:45 2001: :las!-las@38.231.229.112 PART #joint-committee :las Tue Feb 13 17:19:52 2001: :jflynn!-jflynn@38.231.229.112 QUIT :Leaving Wed Feb 14 10:09:31 2001: :jah!+jah-daml@4.22.164.34 JOIN :#daml Wed Feb 14 10:10:12 2001: :jah!+jah-daml@4.22.164.34 QUIT :good night all Wed Feb 14 10:40:12 2001: :DebM!-dlm@198.77.79.10 JOIN :#daml-lang Wed Feb 14 10:40:28 2001: :ora!-ora@198.77.79.10 JOIN :#daml-lang Wed Feb 14 10:41:00 2001: :Kelly!-kmbarber@198.77.79.10 JOIN :#daml-lang Wed Feb 14 10:41:00 2001: :ora!-ora@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 10:44:03 2001: :ora!-ora@198.77.79.10 JOIN :#daml-lang Wed Feb 14 10:46:26 2001: :RalphS!-swick@198.77.79.10 JOIN :#daml-lang Wed Feb 14 10:50:23 2001: :ora!-ora@198.77.79.10 TOPIC #daml-lang :DAML Language discussions Wed Feb 14 10:50:23 2001: :Kelly!-kmbarber@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 10:54:57 2001: :DebM!-dlm@198.77.79.10 QUIT : Wed Feb 14 10:56:05 2001: :Kelly!-kmbarber@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:00:20 2001: :DebM!-dlm@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:04:40 2001: :las!-las@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:04:56 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION was on irc, but hanging out somewhere else. All these channels..... Wed Feb 14 11:05:05 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION wonders whether we're in a wormhole. Wed Feb 14 11:05:34 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION observes "all these servers too" Wed Feb 14 11:14:05 2001: :DebM!-dlm@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 11:14:05 2001: :ora!-ora@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 11:16:52 2001: :ora!-ora@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:17:00 2001: :jah!-jah@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:17:11 2001: :jah!-jah@198.77.79.10 PRIVMSG #daml-lang :hi Wed Feb 14 11:25:54 2001: :DebM!-dlm@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:26:32 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net JOIN :#daml-lang Wed Feb 14 11:26:51 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :hi dan - there is a phone number for dialin if you want Wed Feb 14 11:27:07 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :ACTION wonders if anybody has accepted scribe duties; i.e. sending a log by email to the participants. Wed Feb 14 11:27:37 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG logger :help Wed Feb 14 11:27:39 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang :The phone number for those who wish to call into tomorrow's language meeting Wed Feb 14 11:27:39 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang :is: Wed Feb 14 11:27:39 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang : U.S.: 888-483-2662 Wed Feb 14 11:27:39 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang : outside U.S.: +1-310-312-5889 Wed Feb 14 11:27:39 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang : Enter passcode 6428 followed by the # sign Wed Feb 14 11:27:48 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :We're in the middle of an argument about the role of nonmonotonicity/defeasiblity. Wed Feb 14 11:27:52 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :does logger scribble into http space somehwere? Wed Feb 14 11:27:54 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang :Deb and I are both taking notes, I will put them together and send them out Wed Feb 14 11:28:05 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang :Yes, logger keeps a log of this chat Wed Feb 14 11:28:30 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :but Kelly is taking minutes off-line (not in irc) Wed Feb 14 11:28:53 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :ok; so I should expect to see some records sent to joint-committee? Wed Feb 14 11:29:10 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :nonmon: I was wondering when that would come up again. Wed Feb 14 11:29:22 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :any particular proposals for how to approach nonmon? Wed Feb 14 11:29:23 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang :sure, and to those who attended the breakout session. I will include the Deb / Kelly notes and the irc log Wed Feb 14 11:29:59 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang :New topic: conrete vs abstract domains Wed Feb 14 11:30:11 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :One question on the table seems to be whether nonmon is a part of the base language or something that can be done "on top of" the language itself. Wed Feb 14 11:30:21 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :We've just switched topics to data Wed Feb 14 11:31:03 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Frank is summarizing. Issues are (1) preserving/compromising tractability of language once we add data types (2) appropriately (whatever that is) leveraging XML schema Wed Feb 14 11:31:44 2001: :stefan!-stefan@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:32:16 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Frank suggests sketching the current proposal briefly. Crux is injecting data types into DAML+OIL in a very separate way. They are not regarded as classes, so you can't e.g. make unions between classes and data types, can't subtype them, can't use datatypes as domain or range restrictions. Wed Feb 14 11:32:37 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :FVH: They are kind-of "next to" the language. Wed Feb 14 11:33:11 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :FVH: There's been a debate about this issue: some want most powerful language, others think this hasn't hurt very much. Wed Feb 14 11:33:24 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :PJH says the debate is over and the pragmatists won. Wed Feb 14 11:33:46 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :TBL: Actually there was an out for the idealists, you can do whatever you want. Wed Feb 14 11:34:15 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :FVH: Yes, you can voluntarily restrict yourself to the recognizably tractable subset or you can do whatever you want at your own risk. Wed Feb 14 11:34:37 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION stops transcribing so she can go off and find a missing document.... Wed Feb 14 11:35:17 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :yes, I'd agree the debate is over, for this round at least. There's lots of evidence that the separation is useful and the only argument against it is intuition about where we want to go. Wed Feb 14 11:38:43 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :PFPS says currently agreed upon denotational semantics are not being extended to handle concrete data types as classes (this is JAH's summary) Wed Feb 14 11:38:43 2001: :stefan!-stefan@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 11:38:43 2001: :DebM!-dlm@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 11:39:25 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Discussion of why not. PFPS says it's a carrot to keep you in the tractable subset. Wed Feb 14 11:39:53 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Discussion of kif-based axiomatic semantics vs. model-theoretic semantics. Wed Feb 14 11:40:02 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :versus? Wed Feb 14 11:40:42 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :versus: compare and contrast. Are they equivalent? ...in their area of overlap? Will the AS be extended to incorporate data types as classes? Wed Feb 14 11:40:57 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :Peter: the two semantics are designed to be equivalent in their common area of expertise Wed Feb 14 11:41:13 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :TBL: You could ask, e.g., for invoices sent in DAML-constrained as you won't pay it otherwise. Wed Feb 14 11:41:13 2001: :RalphS!-swick@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 11:41:45 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :DLM: Our experience is that there weren't complaints. PFPS: There was screaming, but not about concrete types restrictions. Wed Feb 14 11:42:15 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :DLM: Big complaint was about qualified number restrictions ("I have at least two daughters who are Drs.") Wed Feb 14 11:42:28 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Hypothesis is advanced that people get used to living within their limitations. Wed Feb 14 11:42:49 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :PFPS: Two more issues with datatypes: constructors (what's built in and can you form new datatypes) Wed Feb 14 11:43:02 2001: :RalphS!-swick@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:43:11 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :PFPS: w3c has decided that there are constructors and they're XML Schema Wed Feb 14 11:43:33 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION notes that DebM's connection is the one that is [no longer] updating on the projected screen Wed Feb 14 11:43:56 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :PFPS: There are a number of possible proposals for data type constructors. We want e.g., ranged integers as constructors. But if we get regular expression constructors from XML .... Wed Feb 14 11:44:01 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION missed the bad thing that follows. Wed Feb 14 11:44:44 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :TBL points out that this group is not in a position to complain about the lack of XML data type specifications. Wed Feb 14 11:45:25 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION laughs at DLM's assertion that TBL is buying us all beers if we get to CR status in 2 years. Wed Feb 14 11:45:43 2001: :rrs!-swick@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:45:58 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION saw DLM's connection drop out (reset by peer) a while back. Wed Feb 14 11:46:10 2001: :rrs!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION is having trouble staying connected now too Wed Feb 14 11:46:27 2001: :ora!-ora@198.77.79.10 PRIVMSG #daml-lang :connectivity is definitely flaky Wed Feb 14 11:46:28 2001: :rrs!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION is RalphS in a new guise; waiting for old nick to timeout Wed Feb 14 11:46:48 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION has no idea why connections are dropping. Perhaps it's happening when I rotate? lots of defunct connections.... Wed Feb 14 11:47:18 2001: :rrs!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION is not losing any other connections, just this to irc.daml.org Wed Feb 14 11:47:36 2001: :rrs!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION retracts that; just discovered another broken connection Wed Feb 14 11:47:39 2001: :RalphS!-swick@198.77.79.10 QUIT :Ping timeout Wed Feb 14 11:47:46 2001: :ora!-ora@198.77.79.10 PRIVMSG #daml-lang :ACTION does not know what "rotate" means Wed Feb 14 11:47:46 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang ::) Wed Feb 14 11:49:39 2001: :jah!-jah@198.77.79.10 PRIVMSG #daml-lang : s/tanks/thanks (although at DARPA...) Wed Feb 14 11:50:54 2001: :rrs!-swick@198.77.79.10 PRIVMSG #daml-lang :Peter: last night we came up with a representation using a node with a type and a value property Wed Feb 14 11:50:59 2001: :rrs!-swick@198.77.79.10 PRIVMSG #daml-lang :Tim: I don't like that Wed Feb 14 11:51:10 2001: :DebM!-dlm@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:51:36 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :tim is drawing an example Wed Feb 14 11:51:38 2001: :jah!-jah@198.77.79.10 PRIVMSG #daml-lang :log should record that history was made today -- Hendler was trying to convince Hayes that logic was a good thing :-> Wed Feb 14 11:51:49 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :huh? node-with-type-and-value is what we've proposed, timbl. Wed Feb 14 11:52:29 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :ACTION wonders about calling in... Wed Feb 14 11:52:30 2001: :Kelly!-kmbarber@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 11:52:44 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :re pictures, pls see http://www.w3.org/2001/01/ct24 Wed Feb 14 11:52:53 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION encourages DanC to call and see how the connection/quality is. Wed Feb 14 11:52:55 2001: :rrs!-swick@198.77.79.10 PRIVMSG #daml-lang :[debate about specific representation; whether type is a property of the abstract concept 9 or the decimal representation] Wed Feb 14 11:53:37 2001: :Kelly!-kmbarber@198.77.79.10 JOIN :#daml-lang Wed Feb 14 11:54:26 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :is 6428 really the code, Kelly? it's not working for me. Wed Feb 14 11:54:43 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang :6428 with a # sign after it Wed Feb 14 11:54:46 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :ah... that's a code for tomorrow? Wed Feb 14 11:55:08 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang :For today, they said. We are (the only ones) connected now Wed Feb 14 11:56:05 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :who's the "originator"? Wed Feb 14 11:56:09 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :(question from operator) Wed Feb 14 11:56:29 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang :? Mike said he set it up , or maybe he had someone do it. I was the first in the call Wed Feb 14 11:56:34 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang :Mike Dean ... sorry Wed Feb 14 11:56:53 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :ah. thanks. Wed Feb 14 11:57:07 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :I'm in. Wed Feb 14 12:00:19 2001: :jah!-jah@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 12:00:24 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :http://www.w3.org/2001/01/ct24 Wed Feb 14 12:02:02 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :"that's valid RDF"; transcribe 'that' please? Wed Feb 14 12:02:03 2001: :Kelly!-kmbarber@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 12:02:55 2001: :Kelly!-kmbarber@198.77.79.10 JOIN :#daml-lang Wed Feb 14 12:03:03 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang : Wed Feb 14 12:03:10 2001: :Kelly!-kmbarber@198.77.79.10 PRIVMSG #daml-lang : Wed Feb 14 12:03:23 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang : 10.0 Wed Feb 14 12:03:23 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang : Wed Feb 14 12:03:38 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :just below "So that the value corresponding to the numeral 10.0 can be written" Wed Feb 14 12:03:38 2001: :Kelly!-kmbarber@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 12:03:38 2001: :DebM!-dlm@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 12:04:19 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :yes, is consistent with what I'm doing in ct24. Wed Feb 14 12:05:35 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :i.e. Wed Feb 14 12:06:09 2001: :jah!-jah@198.77.79.10 JOIN :#daml-lang Wed Feb 14 12:10:54 2001: :DebM!-dlm@198.77.79.10 JOIN :#daml-lang Wed Feb 14 12:11:00 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :sorry - i got disconnected Wed Feb 14 12:11:04 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :you might need to repost Wed Feb 14 12:11:12 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :(i am the one displaying) Wed Feb 14 12:13:30 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :here's a picture of the above RDF: http://www.w3.org/RDF/Implementations/SiRPAC/SiRPACServlet.tmp/sirpac_55887.gif Wed Feb 14 12:13:47 2001: :jah!-jah@198.77.79.10 QUIT :lunch time Wed Feb 14 12:13:51 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :I think I should draw a diagram using colors to show where the info comes from. Wed Feb 14 12:15:24 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :oops.. that .gif isn't quite right. Wed Feb 14 12:15:32 2001: :ora!-ora@198.77.79.10 QUIT :out to lunch Wed Feb 14 12:17:30 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION notes that the lunch line was pretty substantial.... Wed Feb 14 12:19:41 2001: :rrs!-swick@198.77.79.10 PRIVMSG #daml-lang :Tim: XML datatypes makes the assumption that something has _one_ size Wed Feb 14 12:20:22 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :TBL says LAS's shoe size is US woman's 8 and US man's 6. Wed Feb 14 12:20:37 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Ian says that's data reconciliation, but TBL (and LAS) disagree. Wed Feb 14 12:21:48 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :netscape crashed while I was trying to use sirpac to get a diagram of the idiom. Wed Feb 14 12:21:55 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Frank tries to summarize TBL: You can't have multiple type/value pairs for a single item because there is no way to associate the type with its paired value. Wed Feb 14 12:22:50 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :PFPS likes the model on the whiteboard (size -> [type int; value 10.0]) Wed Feb 14 12:23:02 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION wonders whether she got the pseudo-n3 correct. Wed Feb 14 12:23:34 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :RRS is confused as to why TBL thinks this is a substantial change from spec, but TBL points out that the generation of two statements rather than one is the change. Wed Feb 14 12:23:40 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :er... rather: <#myLeftShoe> :size [ type int; value "10"] Wed Feb 14 12:23:44 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :note the quotes around "10" Wed Feb 14 12:24:02 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION thanks DanC. Wed Feb 14 12:24:33 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :LHS-of-board=??? Wed Feb 14 12:24:49 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :white board Wed Feb 14 12:24:51 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :TBL thinks the left hand side picture (what Dan typed in n3) ... Wed Feb 14 12:25:16 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :LHS-of-board just got erased, but it was <#myLeftShoe> :size [ type int; value "10"] Wed Feb 14 12:25:16 2001: :DebM!-dlm@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 12:25:16 2001: :rrs!-swick@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 12:25:44 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :las, can you ask peter if this is what he's talking about: Wed Feb 14 12:25:46 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :PFPS writes (on the newly erased LHS): 10.0 Wed Feb 14 12:26:23 2001: :DebM!-dlm@198.77.79.10 JOIN :#daml-lang Wed Feb 14 12:26:28 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :and draws a pic las understands to be [:size "10.0"] (but without the quotes around the 10.0) Wed Feb 14 12:26:35 2001: :RalphS!-swick@198.77.79.10 JOIN :#daml-lang Wed Feb 14 12:26:56 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :10.0 Wed Feb 14 12:27:08 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :PFPS has drawn below it Wed Feb 14 12:27:18 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang : Wed Feb 14 12:27:22 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang : Wed Feb 14 12:27:41 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :and a pic that las thinks transcribes to [:size [type int; value "10.0"]] Wed Feb 14 12:27:55 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :las wonders why type and value don't have : in front of them. Wed Feb 14 12:28:11 2001: :jah!-jah@198.77.79.10 JOIN :#daml-lang Wed Feb 14 12:28:32 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Question on the table: Is a change in RDF being proposed? Wed Feb 14 12:29:21 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :DLM: Action PFPS (or Frank, Ian) do a writeup of the modified proposal. Wed Feb 14 12:29:35 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :JAH: DanBri also needs to get a writeup Wed Feb 14 12:29:43 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :RRS: RDF interest group, not just DanBri Wed Feb 14 12:29:57 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :PFPS accepts action item for "hopefully Fri" Wed Feb 14 12:30:14 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :PFPS says doc will include "we didn't want to change RDF syntax" Wed Feb 14 12:30:14 2001: :DebM!-dlm@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 12:30:43 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :DanC asks that w/RDF syntax changes be included in an appendix. Wed Feb 14 12:31:10 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :sounded like Peter basically declined that request, which is fine. Wed Feb 14 12:32:41 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :-DanC Wed Feb 14 12:32:41 2001: :jah!-jah@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 12:39:20 2001: :jah!-jah@198.77.79.10 JOIN :#daml-lang Wed Feb 14 12:46:32 2001: :RalphS!-swick@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 13:05:28 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :pls conference me in; I'm available at call tel:+1-913-491-0501 Wed Feb 14 13:06:26 2001: :DebM!-dlm@198.77.79.10 JOIN :#daml-lang Wed Feb 14 13:07:59 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :Ben Grosof is giving an introduction to the rules bof Wed Feb 14 13:11:27 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :ACTION notes that DanC claims to be listening to us (on the speakerphone) Wed Feb 14 13:13:11 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :yes. Wed Feb 14 13:13:13 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :I'm here. Wed Feb 14 13:13:16 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :thx Wed Feb 14 13:13:17 2001: :RalphS!-swick@198.77.79.10 JOIN :#daml-lang Wed Feb 14 13:13:25 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :ACTION waves to Ralph. Wed Feb 14 13:13:32 2001: :ora!-ora@198.77.79.10 JOIN :#daml-lang Wed Feb 14 13:13:46 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION wonders if there's a better way to know sooner when he's been disconnected from irc Wed Feb 14 13:14:13 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :google nominates http://www.dfki.uni-kl.de/ruleml/ RuleML Homepage Wed Feb 14 13:15:04 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :which cites, among other things, http://www.w3.org/DesignIssues/Rules.html where TimBL gives his "nonmon: just say no" argument. Wed Feb 14 13:15:05 2001: :RalphS!-swick@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 13:15:33 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :combining modules with entities: loses! Wed Feb 14 13:15:34 2001: :DebM!-dlm@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 13:19:17 2001: :RalphS!-swick@198.77.79.10 JOIN :#daml-lang Wed Feb 14 13:19:17 2001: :jah!-jah@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 13:19:37 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION has more trouble with irc.daml.org than irc.w3.org Wed Feb 14 13:20:34 2001: :DebM!-dlm@198.77.79.10 JOIN :#daml-lang Wed Feb 14 13:20:39 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :Relevant Other Efforts in W3C and Markup Wed Feb 14 13:20:49 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :. RDF, RDFS, DAML(+OIL), Semantic Web Wed Feb 14 13:20:56 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :. P3P privacy policies: APPEL rules Wed Feb 14 13:20:59 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :. XML Query Wed Feb 14 13:21:05 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :yeah, I see lots of failures on irc.daml.org; not me, but lots of other folks getting pinged out. Wed Feb 14 13:21:20 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :. Others: XSLT, MathML, Predictive Markup Language (rules from data mining), Attribute Grammars Wed Feb 14 13:21:22 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :yes - i am getting dropped every 10 minutes Wed Feb 14 13:21:41 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :but i was guessing that might be the facility - we are in a secure facility that has LOTS of shielding Wed Feb 14 13:21:58 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :Deb, are you wireless too? Are we all routing through Lynn's laptop to get outside? Wed Feb 14 13:22:02 2001: :jah!-jah@198.77.79.10 JOIN :#daml-lang Wed Feb 14 13:22:08 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :yes - i am using lynn Wed Feb 14 13:22:26 2001: :DebM!-dlm@198.77.79.10 PRIVMSG #daml-lang :by the way *THANKS*** lynn Wed Feb 14 13:22:28 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :the participants represent lots of projects that don't use NAF. Wed Feb 14 13:22:41 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :so our connection failures might be due to the firewall crossing also Wed Feb 14 13:22:43 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :http://www.dfki.uni-kl.de/ruleml/#Participants Wed Feb 14 13:23:22 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :DanC: is anyone executing these rules yet? Wed Feb 14 13:23:26 2001: :jah!-jah@198.77.79.10 PRIVMSG #daml-lang :jah queries - what is NAF? Wed Feb 14 13:23:45 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :BG: there are validators, but too new for tools to execute yet Wed Feb 14 13:23:54 2001: :jah!-jah@198.77.79.10 PRIVMSG #daml-lang :NAF - I get it!! Wed Feb 14 13:23:57 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Dropping/lossage: Interestingly, I haven't lost yet. So maybe it's the irc packets going through my laptop rather than the outside connection. The only question is why daml.org should be worse than w3.org? Wed Feb 14 13:24:11 2001: :jah!-jah@198.77.79.10 PRIVMSG #daml-lang :more activity? Wed Feb 14 13:24:22 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION is also using ssh tunnelling to w3.org Wed Feb 14 13:24:43 2001: :DebM!-dlm@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 13:24:43 2001: :jah!-jah@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 13:25:28 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :Example: backward-rule notation Wed Feb 14 13:25:30 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : Wed Feb 14 13:25:32 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : Wed Feb 14 13:25:39 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : may look at Wed Feb 14 13:25:45 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : you Wed Feb 14 13:26:01 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : http://www.cs.brandeis.edu/... Wed Feb 14 13:26:03 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : Wed Feb 14 13:26:06 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : Wed Feb 14 13:26:12 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : want to review Wed Feb 14 13:26:19 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : you Wed Feb 14 13:26:27 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : rule principles Wed Feb 14 13:26:31 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :s/end/ind/ Wed Feb 14 13:26:36 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : Wed Feb 14 13:26:37 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang : Wed Feb 14 13:26:59 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :ah... so there is some connection to URI space. Wed Feb 14 13:26:59 2001: :RalphS!-swick@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 13:31:10 2001: :RalphS!-swick@198.77.79.10 JOIN :#daml-lang Wed Feb 14 13:31:36 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :I pasted DG's 2nd example, don't know if it got lost in my disconnect Wed Feb 14 13:31:36 2001: :ora!-ora@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 13:32:25 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :I see one example, ralph. I got the gist of it. Wed Feb 14 13:32:25 2001: :RalphS!-swick@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 13:35:50 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :on non-mon, the RuleML web site (http://www.dfki.uni-kl.de/ruleml/#Steps) reminds me of a particularly juicy bit in www-rdf-logic... Wed Feb 14 13:35:55 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :http://lists.w3.org/Archives/Public/www-rdf-logic/2000Sep/0007.html Wed Feb 14 13:36:51 2001: :RalphS!-swick@198.77.79.10 JOIN :#daml-lang Wed Feb 14 13:37:25 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION : hmmm. losing connections more frequently now; both irc.daml.org and ssh tunnel to w3.org Wed Feb 14 13:40:27 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :what question is he answering now? I didn't hear. Wed Feb 14 13:42:42 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :SheilaM: add classical negation and NAF Wed Feb 14 13:42:49 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :Tim: what does NAF mean in a Web context? Wed Feb 14 13:43:21 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :this message by Hayes of 22 Sep discusses making NAF explicit in interesting detail: http://lists.w3.org/Archives/Public/www-rdf-logic/2000Sep/0007.html Wed Feb 14 13:44:18 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :I can't hear well now. bummer. Wed Feb 14 13:44:36 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :Dan, the speakers now are in the back of the room Wed Feb 14 13:45:10 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :I can sorta hear this speaker; who is it? (please) Wed Feb 14 13:46:42 2001: :ora!-ora@198.77.79.10 JOIN :#daml-lang Wed Feb 14 13:46:48 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :"This speaker" might have been Sheila McIlraith. Wed Feb 14 13:46:59 2001: :ora!-ora@198.77.79.10 PRIVMSG #daml-lang :she was Wed Feb 14 13:47:13 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :er... there was a male speaker just before (and after?) Sheila Wed Feb 14 13:47:29 2001: :ora!-ora@198.77.79.10 PRIVMSG #daml-lang :Jerry Hobbs, SRI Wed Feb 14 13:48:10 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :thx. Wed Feb 14 13:48:37 2001: :ora!-ora@198.77.79.10 PRIVMSG #daml-lang :what we need is metadata on a sideband of a telephone call, identifying speakers Wed Feb 14 13:50:18 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Isn't DanC building that, Ora? ;O) Wed Feb 14 13:51:28 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :who's this? just after PatH? Wed Feb 14 13:51:38 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :ACTION actually wishes for a video channel at this point Wed Feb 14 13:51:57 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :I have a USB camera here; I wish it was there. ;-) Wed Feb 14 13:58:30 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :timecheck? how long does anybody expect this BOF to go? Wed Feb 14 13:58:39 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :"this is a nice list of issues"; this=??? Wed Feb 14 13:58:59 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :Ben is recording this on-screen in a minutes file Wed Feb 14 13:59:00 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :yeah... I'm surfing the literature of contexts and such. fun stuff. Wed Feb 14 13:59:52 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :is that the SRI guy again? Wed Feb 14 13:59:58 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :agenda says BOFs scheduled to 1430 Wed Feb 14 14:00:04 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :Jerry Hobbs again, yes Wed Feb 14 14:01:05 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :"tokens as predicates": exactly! That's why the terms in the rules need to be, like terms in ontologies, URIs. Wed Feb 14 14:01:32 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :ACTION notes that irc is not visible to the majority of the room at the moment Wed Feb 14 14:02:02 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net PRIVMSG #daml-lang :I didn't expect that it was. Wed Feb 14 14:02:06 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Richard Fikes Wed Feb 14 14:02:18 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Frank asks whether Deb would agree. Wed Feb 14 14:02:47 2001: :las!-las@198.77.79.10 PRIVMSG #daml-lang :Fikes: To what extent do we need a rule language in the ontology language; Fikes, full expressive power of kif. Wed Feb 14 14:07:28 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net QUIT :Ping timeout Wed Feb 14 14:09:05 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net JOIN :#daml-lang Wed Feb 14 14:13:07 2001: :DanC!-connolly@adsl-208-190-202-42.dsl.kscymo.swbell.net QUIT :Ping timeout Wed Feb 14 14:21:59 2001: :RalphS!-swick@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 14:24:21 2001: :RalphS!-swick@198.77.79.10 JOIN :#daml-lang Wed Feb 14 14:28:18 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :Grosof: Domains of interest Wed Feb 14 14:28:24 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :. negotiating and contracting Wed Feb 14 14:29:25 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :DanC: rules for concluding I am or am not busy tomorrow afternoon Wed Feb 14 14:29:34 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :PatH: good case for a default :-) Wed Feb 14 14:30:14 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :DanC: W3C process document rules Wed Feb 14 14:37:23 2001: :ora!-ora@198.77.79.10 QUIT :break Wed Feb 14 14:40:13 2001: :RalphS!-swick@198.77.79.10 PRIVMSG #daml-lang :Dan, during the NAF discussion I think one of the speakers you were asking to identify was Dan Mahler from Cycorp Wed Feb 14 14:55:39 2001: :RalphS!-swick@198.77.79.10 QUIT :Connection reset by peer Wed Feb 14 15:13:59 2001: :las!-las@198.77.79.10 QUIT :turning into a pumpkin.... Thu Feb 15 08:26:55 2001: :RalphS!-swick@38.231.229.95 JOIN :#daml-lang Thu Feb 15 09:17:47 2001: :RalphS!-swick@38.231.229.95 PART #daml-lang :RalphS Thu Feb 15 09:17:50 2001: :RalphS!-swick@38.231.229.95 JOIN :#daml Thu Feb 15 09:17:55 2001: :RalphS!-swick@38.231.229.95 PART #daml :RalphS Thu Feb 15 09:18:51 2001: :ora!-ora@38.231.229.95 JOIN :#daml-lang Thu Feb 15 09:18:57 2001: :ora!-ora@38.231.229.95 PART #daml-lang :ora Fri Feb 16 08:57:53 2001: :DebM!-dlm@198.77.79.16 JOIN :#daml-lang Fri Feb 16 10:57:48 2001: :DebM!-dlm@198.77.79.16 PRIVMSG #daml-lang :ping Fri Feb 16 12:28:11 2001: :DebM!-dlm@198.77.79.16 QUIT :Ping timeout Tue Feb 20 15:27:55 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#joint-committee Tue Feb 20 15:54:55 2001: :Ian!=horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Feb 20 15:57:02 2001: :Ian!=horrocks@oaklands.demon.co.uk PRIVMSG #joint-committee :Hi Mike Tue Feb 20 16:03:35 2001: :Frankh!+Frank.van@node10467.a2000.nl JOIN :#joint-committee Tue Feb 20 16:03:43 2001: :stefan!+stefan@Stefan.Stanford.EDU JOIN :#joint-committee Tue Feb 20 16:04:30 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com JOIN :#joint-committee Tue Feb 20 16:04:51 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil JOIN :#joint-committee Tue Feb 20 16:06:06 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :jim H has sore throat and laryngitis, so will mainly listen today... Tue Feb 20 16:09:44 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :yes - what Frank said - need to fix RDF and change DAML-ONT to DAML+OIL on the various ontologies in the repository Tue Feb 20 16:19:01 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :and if he doesn't come soon - we might see types accepted without him... Tue Feb 20 16:20:13 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee Tue Feb 20 16:24:08 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :DanC just joined the call Tue Feb 20 16:46:24 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :Danc says the axiom is right there in http://www.w3.org/2001/01/ct24 Tue Feb 20 16:49:23 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :I still don't see the axiom that relates the literal 10.00 and the number 10. Tue Feb 20 17:03:17 2001: :Ian!=horrocks@oaklands.demon.co.uk PRIVMSG #joint-committee :http://kogs-www.informatik.uni-hamburg.de/~mwessel/report4.ps.gz Tue Feb 20 17:17:02 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :There appears to be a consensus to put the current proposal out and say we know it sucks ... help us make it better. (Did I get that right?) Tue Feb 20 17:18:27 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :proposed that Ian and Frank rev the spec, integrating the "one by Frank and Ian" that includes examples about constraining integer (etc.) and by the way this sucks, but fancy editor ... Tue Feb 20 17:25:42 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PART #joint-committee :jah-darpa Tue Feb 20 17:25:48 2001: :Frankh!+Frank.van@node10467.a2000.nl QUIT : Tue Feb 20 17:25:51 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com QUIT : Tue Feb 20 17:25:52 2001: :Ian!=horrocks@oaklands.demon.co.uk QUIT :[x]chat Tue Feb 20 18:30:10 2001: :stefan!+stefan@Stefan.Stanford.EDU QUIT :Ping timeout Wed Feb 21 02:37:13 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com QUIT :Ping timeout Wed Feb 21 02:37:13 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT :Ping timeout Wed Feb 21 22:01:25 2001: :Vaughn!+combs@syr-24-24-27-216.twcny.rr.com JOIN :#daml Wed Feb 21 22:18:50 2001: :Vaughn!+combs@syr-24-24-27-216.twcny.rr.com PRIVMSG #daml :? Wed Feb 21 22:18:58 2001: :Vaughn!+combs@syr-24-24-27-216.twcny.rr.com PART #daml :Vaughn Thu Feb 22 06:54:24 2001: :irc.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@irc.daml.org Thu Feb 22 06:54:24 2001: :irc.daml.org 002 logger :Your host is irc.daml.org, running version 2.10.3 Thu Feb 22 06:54:24 2001: :irc.daml.org 003 logger :This server was created Thu Jan 13 2000 at 15:55:34 EET Thu Feb 22 06:54:24 2001: :irc.daml.org 004 logger irc.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Thu Feb 22 06:54:24 2001: :irc.daml.org 251 logger :There are 0 users and 0 services on 1 servers Thu Feb 22 06:54:24 2001: :irc.daml.org 253 logger 1 :unknown connections Thu Feb 22 06:54:24 2001: :irc.daml.org 254 logger 11 :channels formed Thu Feb 22 06:54:24 2001: :irc.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Thu Feb 22 06:54:24 2001: :irc.daml.org 375 logger :- irc.daml.org Message of the Day - Thu Feb 22 06:54:24 2001: :irc.daml.org 372 logger :- 25/1/2001 19:23 Thu Feb 22 06:54:24 2001: :irc.daml.org 372 logger :- This is a private IRC server for the DAML program. Thu Feb 22 06:54:24 2001: :irc.daml.org 372 logger :- Please report problems to webmaster@daml.org. Thu Feb 22 06:54:24 2001: :irc.daml.org 376 logger :End of MOTD command. Thu Feb 22 06:54:24 2001: :irc.daml.org 484 logger :Your connection is restricted! Thu Feb 22 06:54:24 2001: :logger MODE logger :+ir Thu Feb 22 06:54:24 2001: :logger!=logger@irc.daml.org JOIN :#test Thu Feb 22 06:54:24 2001: :irc.daml.org 353 logger = #test :logger Thu Feb 22 06:54:24 2001: :irc.daml.org 366 logger #test :End of NAMES list. Thu Feb 22 06:54:24 2001: :logger!=logger@irc.daml.org JOIN :#daml Thu Feb 22 06:54:24 2001: :irc.daml.org 353 logger = #daml :logger Thu Feb 22 06:54:24 2001: :irc.daml.org 366 logger #daml :End of NAMES list. Thu Feb 22 06:54:25 2001: :logger!=logger@irc.daml.org JOIN :#daml-lang Thu Feb 22 06:54:25 2001: :irc.daml.org 353 logger = #daml-lang :logger Thu Feb 22 06:54:25 2001: :irc.daml.org 366 logger #daml-lang :End of NAMES list. Thu Feb 22 06:54:28 2001: :logger!=logger@irc.daml.org JOIN :#daml-life Thu Feb 22 06:54:28 2001: :irc.daml.org 353 logger = #daml-life :logger Thu Feb 22 06:54:28 2001: :irc.daml.org 366 logger #daml-life :End of NAMES list. Thu Feb 22 06:54:31 2001: :logger!=logger@irc.daml.org JOIN :#joint-committee Thu Feb 22 06:54:31 2001: :irc.daml.org 353 logger = #joint-committee :logger Thu Feb 22 06:54:31 2001: :irc.daml.org 366 logger #joint-committee :End of NAMES list. Sun Feb 25 11:32:36 2001: :Vaughn!+combs@syr-24-24-27-216.twcny.rr.com JOIN :#daml Sun Feb 25 11:32:53 2001: :Vaughn!+combs@syr-24-24-27-216.twcny.rr.com PART #daml :Vaughn Tue Feb 27 16:06:08 2001: :Ian!=horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Feb 27 16:14:53 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com JOIN :#joint-committee Tue Feb 27 17:20:59 2001: :Ian!=horrocks@oaklands.demon.co.uk QUIT :[x]chat Thu Mar 1 07:05:16 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com QUIT :Ping timeout Tue Mar 6 15:56:05 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee Tue Mar 6 15:58:57 2001: :Ian!=horrocks@dhcp9.dagstuhl.de JOIN :#joint-committee Tue Mar 6 16:08:05 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil JOIN :#joint-committee Tue Mar 6 16:08:10 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :hi kelly Tue Mar 6 16:12:04 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Hi Jim :o) Tue Mar 6 16:19:01 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Jim ... I didn't catch what you said that everyone agreed with :) can you sum it up for me? Tue Mar 6 16:23:29 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :Basically, i said that our discussion and decision making is important because the RDFCore group will need our inputs or else will end up having to rederive what we did, or will come to different decisions Tue Mar 6 16:24:25 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Thanks :) Tue Mar 6 17:19:12 2001: :Ian!=horrocks@dhcp9.dagstuhl.de QUIT :[x]chat Tue Mar 6 17:19:33 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PART #joint-committee :-chat Tue Mar 6 17:20:39 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com QUIT : Fri Mar 9 16:05:06 2001: :irc.daml.org 001 logger :Welcome to the Internet Relay Network logger!=logger@irc.daml.org Fri Mar 9 16:05:06 2001: :irc.daml.org 002 logger :Your host is irc.daml.org, running version 2.10.3 Fri Mar 9 16:05:06 2001: :irc.daml.org 003 logger :This server was created Thu Jan 13 2000 at 15:55:34 EET Fri Mar 9 16:05:06 2001: :irc.daml.org 004 logger irc.daml.org 2.10.3 aoOirw abeiIklmnoOpqrstv Fri Mar 9 16:05:06 2001: :irc.daml.org 251 logger :There are 0 users and 0 services on 1 servers Fri Mar 9 16:05:06 2001: :irc.daml.org 253 logger 1 :unknown connections Fri Mar 9 16:05:06 2001: :irc.daml.org 254 logger 11 :channels formed Fri Mar 9 16:05:06 2001: :irc.daml.org 255 logger :I have 0 clients, 0 services and 0 servers Fri Mar 9 16:05:06 2001: :irc.daml.org 375 logger :- irc.daml.org Message of the Day - Fri Mar 9 16:05:06 2001: :irc.daml.org 372 logger :- 25/1/2001 19:23 Fri Mar 9 16:05:06 2001: :irc.daml.org 372 logger :- This is a private IRC server for the DAML program. Fri Mar 9 16:05:06 2001: :irc.daml.org 372 logger :- Please report problems to webmaster@daml.org. Fri Mar 9 16:05:06 2001: :irc.daml.org 376 logger :End of MOTD command. Fri Mar 9 16:05:06 2001: :irc.daml.org 484 logger :Your connection is restricted! Fri Mar 9 16:05:06 2001: :logger MODE logger :+ir Fri Mar 9 16:05:06 2001: :logger!=logger@irc.daml.org JOIN :#test Fri Mar 9 16:05:06 2001: :irc.daml.org 353 logger = #test :logger Fri Mar 9 16:05:06 2001: :irc.daml.org 366 logger #test :End of NAMES list. Fri Mar 9 16:05:06 2001: :logger!=logger@irc.daml.org JOIN :#daml Fri Mar 9 16:05:06 2001: :irc.daml.org 353 logger = #daml :logger Fri Mar 9 16:05:06 2001: :irc.daml.org 366 logger #daml :End of NAMES list. Fri Mar 9 16:05:07 2001: :logger!=logger@irc.daml.org JOIN :#daml-lang Fri Mar 9 16:05:07 2001: :irc.daml.org 353 logger = #daml-lang :logger Fri Mar 9 16:05:07 2001: :irc.daml.org 366 logger #daml-lang :End of NAMES list. Fri Mar 9 16:05:10 2001: :logger!=logger@irc.daml.org JOIN :#daml-life Fri Mar 9 16:05:10 2001: :irc.daml.org 353 logger = #daml-life :logger Fri Mar 9 16:05:10 2001: :irc.daml.org 366 logger #daml-life :End of NAMES list. Fri Mar 9 16:05:13 2001: :logger!=logger@irc.daml.org JOIN :#joint-committee Fri Mar 9 16:05:13 2001: :irc.daml.org 353 logger = #joint-committee :logger Fri Mar 9 16:05:13 2001: :irc.daml.org 366 logger #joint-committee :End of NAMES list. Tue Mar 13 00:26:30 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#test Tue Mar 13 00:26:37 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT : Tue Mar 13 15:50:43 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#joint-committee Tue Mar 13 15:59:21 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee Tue Mar 13 16:02:09 2001: :Ian!=horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Mar 13 16:04:43 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com JOIN :#joint-committee Tue Mar 13 16:05:04 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net JOIN :#joint-committee Tue Mar 13 16:05:10 2001: :las!+las@208.171.201.137 JOIN :#joint-committee Tue Mar 13 16:05:32 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :last week: http://www.daml.org/committee/minutes/2001-03-06.html Tue Mar 13 16:05:33 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil JOIN :#joint-committee Tue Mar 13 16:05:39 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :a link to http://www.daml.org/committee/ would be nice; Tue Mar 13 16:05:49 2001: :stefan!+stefan@Stefan.Stanford.EDU JOIN :#joint-committee Tue Mar 13 16:05:55 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :and a pointer from the group home page to this channel would be nice. Tue Mar 13 16:06:02 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :why do we need a password for this? sigh. Tue Mar 13 16:06:22 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Dan, I will add a link on the group home page to the www.daml.org/irc/ page. Tue Mar 13 16:06:44 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :Jim H. has joined the call. Tue Mar 13 16:07:16 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :thanks, Kelly. Tue Mar 13 16:09:59 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :be right back ... phone is dying :) Tue Mar 13 16:10:39 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :back ... Tue Mar 13 16:11:14 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :er pfps, the model-theoretic semantics is somehow normative? last I recall, it was an appendix, just like the axiomatic semantics. Tue Mar 13 16:14:04 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :ACTION regrets having brought it up. Tue Mar 13 16:14:12 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :i vote for semantics Tue Mar 13 16:15:43 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION reviewed an earlier version of the model-theoretic semantics and wasn't wildly in love with some aspects of them. Tue Mar 13 16:17:47 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :ACTION really regrets having brought it up Tue Mar 13 16:18:24 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION wonders whether anyone has a grad student lying around to work on this.... Tue Mar 13 16:18:49 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :ACTION is glad he's not a grad student Tue Mar 13 16:22:06 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :axiomatizing XML Schema in KIF would not be pointless, from a W3C angle; it would be quite valuable QA work. Tue Mar 13 16:23:31 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION wonders idly which semantics PFPS thinks "might be right" and which he thinks "might be about right".... Tue Mar 13 16:23:40 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :;-) Tue Mar 13 16:26:46 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :"we have a wish-list for the tools" <- who's we? and where's the list? Tue Mar 13 16:26:59 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :https://www.daml.org/tools/ :) Tue Mar 13 16:27:31 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :actually, officially the wishlist is https://www.daml.org/tools/wishlist.html Tue Mar 13 16:28:30 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :Kelly - tools wishlist should not be on the https side - let's "unprivate" that... Tue Mar 13 16:28:58 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :My mistake, it is also on the public side :) sorry Tue Mar 13 16:30:07 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :ahh, I see it, thanks Tue Mar 13 16:40:19 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :note to self: JAH: when you go to W3C looking for "what's up with ontologies" you don't get much other than pointers to DAML. Tue Mar 13 16:40:41 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :https: sigh. Tue Mar 13 16:41:10 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :also public: good. Tue Mar 13 16:42:16 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Decker: next RDF IG around the Standford SW workshop, 30-31July. Tue Mar 13 16:43:15 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Decker has suggested that to RDF IG chair, anyway. Tue Mar 13 16:44:30 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :what were those again? rules, tagged stuff, implementations Tue Mar 13 16:45:46 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION wonders what tools Ian is referring to....feel like I should know. Tue Mar 13 16:47:01 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :The tools are things like FaCT, RACE, and DLP, description logic reasoners. Tue Mar 13 16:48:00 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :I gather its primary use is to aid in ontology design; so it's intended to find ontology design bugs. Tue Mar 13 16:49:32 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :parka-db is an instance reasoner -- aimed totally at extending the individual stufff... Tue Mar 13 16:50:40 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Jim, your new-york style is tolerable ftf, but it turns to total noise on the phone. Tue Mar 13 16:51:39 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION is mostly wondering whether a "proof theory" ought to include reasoning about individuals. Also, some puzzlement about the concern that a class-to-class relation prover is sound but incomplete when there's no statements-about-individuals prover involved. Tue Mar 13 16:51:58 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION feels insulted on jah's behalf. Tue Mar 13 16:52:46 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Ian: deciding class subsumption in ontologies that refer to individuals is hard (i.e. maybe not decidable). e.g. "italians are people who live in italy" Tue Mar 13 16:52:58 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :there was some other archtypical example Ian gave; anybody catch it? Tue Mar 13 16:55:48 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :The other example consists of creating an object that is related to by every class via some property, and then putting a restriction on that object (the spy point) that limits the number of other objects related to the spy point via the inverse of this property. This results in a maximum cardinality for the universe. Tue Mar 13 16:57:21 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :thx. Tue Mar 13 17:02:09 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Have to log off now ... until next week *waves* Tue Mar 13 17:02:22 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION needs to go, too.... Tue Mar 13 17:02:26 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com QUIT : Tue Mar 13 17:03:52 2001: :las!+las@208.171.201.137 PRIVMSG #joint-committee :ACTION waves goodbye.... Tue Mar 13 17:06:05 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Examples - Getting into RDF & Semantic Web Tue Mar 13 17:06:05 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :using N3 http://www.w3.org/2000/10/swap/Examples Tue Mar 13 17:15:36 2001: :stefan!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :Some other input for the rules discussion: Tue Mar 13 17:15:39 2001: :stefan!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :http://www-db.stanford.edu/%7Estefan/2001/02/rdfinterest/ Tue Mar 13 17:15:57 2001: :stefan!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :The language specifically supports inferences with different RDF models Tue Mar 13 17:16:00 2001: :stefan!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :and semantics Tue Mar 13 17:16:29 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :the source code is pointed to from http://www.w3.org/2000/10/swap/ Tue Mar 13 17:17:01 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :in particular, http://www.w3.org/2000/10/swap/cwm.py Tue Mar 13 17:19:07 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :mike d - the rdfig chat is forward.openprojects.net #rdfig -- with rdfig.xmlhack.com Tue Mar 13 17:19:23 2001: :Ian!=horrocks@oaklands.demon.co.uk QUIT :[x]chat Tue Mar 13 17:20:51 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :i.e. irc://irc.openprojects.net/rdfig and http://rdfig.xmlhack.com/ Tue Mar 13 17:21:07 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :remember: the web is more than just HTTP; IRC channels are resources too. Tue Mar 13 17:28:00 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :yes, DanC you are right - but my browser bards at irc:// Tue Mar 13 17:28:16 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PART #joint-committee :jah-darpa Tue Mar 13 17:41:58 2001: :las!+las@208.171.201.137 QUIT :Ping timeout Tue Mar 13 17:50:14 2001: :las!+las@208.171.201.137 JOIN :#joint-committee Tue Mar 13 17:52:09 2001: :stefan!+stefan@Stefan.Stanford.EDU QUIT :Ping timeout Tue Mar 13 17:56:11 2001: :las!+las@208.171.201.137 QUIT :Ping timeout Tue Mar 13 17:59:08 2001: :las!+las@208.171.201.137 JOIN :#joint-committee Tue Mar 13 18:35:10 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PART #joint-committee :DanC Tue Mar 13 20:28:59 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT :Ping timeout Tue Mar 13 21:59:35 2001: :las1!+las@208.171.201.137 JOIN :#joint-committee Tue Mar 13 22:00:38 2001: :las!+las@208.171.201.137 QUIT :No route to host Tue Mar 13 22:18:19 2001: :las!+las@208.171.201.137 JOIN :#joint-committee Tue Mar 13 22:19:35 2001: :las1!+las@208.171.201.137 QUIT :No route to host Wed Mar 14 07:41:37 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PART #joint-committee :pfps Wed Mar 14 11:53:01 2001: :las!+las@208.171.201.137 QUIT :Ping timeout Wed Mar 14 12:02:01 2001: :las!+las@208.171.201.137 JOIN :#joint-committee Wed Mar 14 12:16:45 2001: :las!+las@208.171.201.137 QUIT :Ping timeout Wed Mar 14 12:18:57 2001: :las!+las@208.171.201.137 JOIN :#joint-committee Thu Mar 15 04:36:22 2001: :las!+las@208.171.201.137 QUIT :Ping timeout Tue Mar 20 15:20:31 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#joint-committee Tue Mar 20 16:01:20 2001: :Kelly!-kmbarber@hh1114013.direcpc.com JOIN :#joint-committee Tue Mar 20 16:02:58 2001: :dlm!+test@KSL-2.Stanford.EDU JOIN :#joint-committee Tue Mar 20 16:04:01 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT :Connection reset by peer Tue Mar 20 16:04:13 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :is this the channel we are supposed to be using? Tue Mar 20 16:04:19 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil JOIN :#joint-committee Tue Mar 20 16:04:25 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :hi jim Tue Mar 20 16:05:12 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :hi deb Tue Mar 20 16:07:01 2001: :las!+las@24-6-200.wireless.lcs.mit.edu JOIN :#joint-committee Tue Mar 20 16:08:09 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :ACTION missed what a volunteer was called for. Tue Mar 20 16:08:10 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :ACTION also wonders who is present at the meeting. Tue Mar 20 16:08:27 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :Volunteer to take over for Frank on updating the documentation Tue Mar 20 16:08:42 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :Deb Tue Mar 20 16:08:43 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :Peter Tue Mar 20 16:08:43 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :Mike Tue Mar 20 16:08:43 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :Jim Tue Mar 20 16:08:43 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :Ian Tue Mar 20 16:08:43 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :Frank Tue Mar 20 16:08:45 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :Tim Tue Mar 20 16:08:48 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :Lynn Tue Mar 20 16:08:49 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :Pat Tue Mar 20 16:08:51 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :that's what I have for attendees :) Tue Mar 20 16:11:35 2001: :tim-lap!+timbl@w3cdhcp14.w3.org JOIN :#joint-committee Tue Mar 20 16:13:22 2001: :las!+las@24-6-200.wireless.lcs.mit.edu QUIT :Ping timeout Tue Mar 20 16:19:00 2001: :las!+las@24-6-200.wireless.lcs.mit.edu JOIN :#joint-committee Tue Mar 20 16:28:47 2001: :las!+las@24-6-200.wireless.lcs.mit.edu QUIT :Ping timeout Tue Mar 20 16:34:35 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :If you put things here, i will add them to the minutes! Tue Mar 20 16:39:33 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :Tim - tambis example (test/tambis) seem to be access controlled - they return sorry, forbidden Tue Mar 20 16:40:49 2001: :las!+las@24-6-200.wireless.lcs.mit.edu JOIN :#joint-committee Tue Mar 20 16:41:07 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :ACTION is relieved to be back on irc but expects to get kicked off again soon. Tue Mar 20 16:41:30 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :There is not much conversation happening on here today :) Tue Mar 20 16:41:46 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :true, Kelly, but it makes me feel connected somehow. Tue Mar 20 16:42:03 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :I thought that someone usually transcribed the conversation here.... Tue Mar 20 16:42:17 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee ::) Tue Mar 20 16:42:35 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :I moved away from that back to normal notes when I had trouble connecting a few times. Tue Mar 20 16:42:44 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :And no one has pushed me back yet :) Tue Mar 20 16:42:53 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :Oh, that's unfortunate as it's also a good way for those who can't hear to follow. Tue Mar 20 16:43:01 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :(consider that a gentle push-back. Tue Mar 20 16:43:02 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :) Tue Mar 20 16:43:05 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee ::o) Tue Mar 20 16:43:20 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee ::) << accepts a gentle push back and will work on taking notes in irc next week Tue Mar 20 16:43:38 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :Of course, next week I will have to miss the telecon :o) Tue Mar 20 16:43:44 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :ditto what Lynn says - but most participants refused to use irc Tue Mar 20 16:43:45 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee ::o) Tue Mar 20 16:44:16 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :I plan to mail Mike about this when my connectivity works better (mailer is even worse than irc right now), but can you convey my regrets if I don't get an opportunity to [next week]? Tue Mar 20 16:44:27 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :Jim -- I'll be chairing a SSS :o) Tue Mar 20 16:44:46 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :Actually just 2 s's: an SS, I guess. Tue Mar 20 16:44:59 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee :I will make a note that you may not be able to attend next week Tue Mar 20 16:45:05 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :gee - been a long time since I was at one of those... Tue Mar 20 16:45:09 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :I definitely won't: I'm chairing a conference. Tue Mar 20 16:45:19 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee ::) Tue Mar 20 16:45:40 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :Yes, I haven't been since I stopped chairing. But Ian twisted my arm to run one, so I feel obliged to show up. (Not that they wouldn't do a bang-up job without me....) Tue Mar 20 16:46:56 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :remember them being fun - but been out of the loop so long I can't imagine going to a workshop just for fun :-> Tue Mar 20 16:52:59 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :I think that PJH said it wasn't important to distinguish between a document with an existentially quantified name and a document with a name that is not used anywhere else in the document. But there's DEFINITELY a difference in that the name in the second case can be referenced from outside! (Or did I miss something?) Tue Mar 20 16:53:35 2001: :las!+las@24-6-200.wireless.lcs.mit.edu PRIVMSG #joint-committee :Is anyone other than the four of us even listening to this conversation? Tue Mar 20 16:53:57 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :dunno - I got lost a long time ago Tue Mar 20 16:57:36 2001: :las!+las@24-6-200.wireless.lcs.mit.edu QUIT :Ping timeout Tue Mar 20 17:04:09 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :sorry - i have to sign off Tue Mar 20 17:04:30 2001: :Kelly!-kmbarber@hh1114013.direcpc.com PRIVMSG #joint-committee ::) Tue Mar 20 17:14:56 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PART #joint-committee :I give up Tue Mar 20 17:19:29 2001: :Kelly!-kmbarber@hh1114013.direcpc.com QUIT : Tue Mar 20 17:23:41 2001: :tim-lap!+timbl@w3cdhcp14.w3.org QUIT :KUTGW Tue Mar 20 17:57:24 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :quit Tue Mar 20 17:57:26 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :exit Tue Mar 20 17:57:29 2001: :dlm!+test@KSL-2.Stanford.EDU QUIT : Tue Mar 27 15:06:07 2001: :Ian!=horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Mar 27 15:07:48 2001: :Ian!=horrocks@oaklands.demon.co.uk QUIT :[x]chat Tue Mar 27 15:52:39 2001: :Ian!=horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue Mar 27 15:59:23 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee Tue Mar 27 16:00:59 2001: :mdean!-mdean@206.72.64.75 JOIN :#joint-committee Tue Mar 27 16:06:48 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike...would you rather have me do notes, or get this update finished? Tue Mar 27 16:07:38 2001: :mdean!-mdean@206.72.64.75 PRIVMSG #joint-committee :notes Tue Mar 27 16:29:18 2001: :Ian!=horrocks@oaklands.demon.co.uk QUIT :[x]chat Tue Mar 27 16:51:14 2001: :mdean!-mdean@206.72.64.75 QUIT : Tue Mar 27 18:30:43 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com QUIT : Mon Apr 2 16:22:54 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com JOIN :#joint-committee Mon Apr 2 16:23:02 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PART #joint-committee :pfps Tue Apr 3 12:32:30 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com JOIN :#joint-committee Tue Apr 3 16:00:38 2001: :ora!-ora@adsl-141-154-16-182.bostma.adsl.bellatlantic.net JOIN :#joint-committee Tue Apr 3 16:00:58 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :Hi. has anyone managed to get on the telecon? Tue Apr 3 16:01:07 2001: :ora!-ora@adsl-141-154-16-182.bostma.adsl.bellatlantic.net PRIVMSG #joint-committee :I haven't tried yet Tue Apr 3 16:01:28 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :please try, i can't get on. Tue Apr 3 16:04:16 2001: :ora!-ora@adsl-141-154-16-182.bostma.adsl.bellatlantic.net QUIT :Connection reset by peer Tue Apr 3 16:04:19 2001: :ora!-ora@adsl-141-154-16-182.bostma.adsl.bellatlantic.net JOIN :#joint-committee Tue Apr 3 16:04:23 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net JOIN :#joint-committee Tue Apr 3 16:04:32 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :I'm having trouble dialing in. Tue Apr 3 16:04:42 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :hi dan, can you get on the telecon? Tue Apr 3 16:04:44 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :"you will be assisted by the next available operator" says the thingy. Tue Apr 3 16:05:02 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PRIVMSG #joint-committee :I think that the telecon expired at the end of March. Tue Apr 3 16:05:23 2001: :ora!-ora@adsl-141-154-16-182.bostma.adsl.bellatlantic.net PRIVMSG #joint-committee :the operator said Mike Dean does not have a reservation for this week Tue Apr 3 16:05:32 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :operator says it starts at 1:15pm pacific. Tue Apr 3 16:06:00 2001: :jeff!-heflin@redqueen.cs.umd.edu JOIN :#joint-committee Tue Apr 3 16:06:27 2001: :jeff!-heflin@redqueen.cs.umd.edu PRIVMSG #joint-committee :Hi, is anyone here? Tue Apr 3 16:06:33 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Hi Jeff; we're having trouble getting in... looks like Mike's reservation ran out, but he's got it set up for 1:15pm pacific. Tue Apr 3 16:07:06 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#joint-committee Tue Apr 3 16:07:14 2001: :jeff!-heflin@redqueen.cs.umd.edu PRIVMSG #joint-committee :Thanks, Dan. I guess we'll all just hang out for 10 minutes... Tue Apr 3 16:07:17 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :hi -- i fixed the telecon expiration Tue Apr 3 16:07:26 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :can you all call back in now Tue Apr 3 16:07:37 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :frank just got in Tue Apr 3 16:07:45 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :email also went out Tue Apr 3 16:07:48 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :sorry for the confusion Tue Apr 3 16:09:34 2001: :stefandec!+stefan@171.66.183.26 JOIN :#joint-committee Tue Apr 3 16:09:52 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :whee! I'm in. Tue Apr 3 16:10:53 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Joint Committee telecon today 3 April Mike Dean (04/03/01) http://www.daml.org/listarchive/joint-committee/0353.html Tue Apr 3 16:11:26 2001: :dlm!+test@KSL-2.Stanford.EDU JOIN :#joint-committee Tue Apr 3 16:23:07 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :hi. Tue Apr 3 16:23:10 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :hi Tue Apr 3 16:23:25 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil JOIN :#joint-committee Tue Apr 3 16:23:32 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :welcome jim Tue Apr 3 16:23:35 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PRIVMSG #joint-committee :+jah -- sorry Tue Apr 3 16:24:41 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Peter, if you get a chance to reply to my "numerals aren't numbers" message with pointers to the relevant parts of the semantics, please. Tue Apr 3 16:24:51 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :er... please do. Tue Apr 3 16:29:32 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :itchkai? what's that? Tue Apr 3 16:30:07 2001: :jeff!-heflin@redqueen.cs.umd.edu PRIVMSG #joint-committee :IJCAI (stand's for Int'l Joint Conf. on AI) Tue Apr 3 16:30:13 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :thanks. Tue Apr 3 16:31:03 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :the ijcai 01 url is http://www.ijcai-01.org/ Tue Apr 3 16:39:45 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :dlm, ideally, those industrial folks would watch closely in a review mailing list, but not all of them would join telcons. Tue Apr 3 16:40:27 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :volunteering to co-chair gives you a lot of input into what's the "right" set of people to make the group successful. Tue Apr 3 16:40:54 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :thx. I am still learning about w3c working practice Tue Apr 3 16:41:11 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :the main rule is: there are no rules ;-) each WG is its own world. Tue Apr 3 16:41:14 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :i am well plugged in with ontology-literate people in industry Tue Apr 3 16:41:29 2001: :dlm!+test@KSL-2.Stanford.EDU PRIVMSG #joint-committee :so whenever we look at pulling people in, i can help there Tue Apr 3 16:46:37 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :yes, that's a highly desirable characteristic of a chair ;-) Tue Apr 3 17:03:04 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :re Pat's introductory paragraphs... I'm not optimistic that folks who need that clue have half a chance of understanding DAML at all. Tue Apr 3 17:05:32 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :I've got some code that draws class trees from an RDF schema. http://www.w3.org/2001/02pd/ Tue Apr 3 17:08:59 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PRIVMSG #joint-committee :-DanC Tue Apr 3 17:09:27 2001: :ora!-ora@adsl-141-154-16-182.bostma.adsl.bellatlantic.net PART #joint-committee :ora Tue Apr 3 17:10:02 2001: :jeff!-heflin@redqueen.cs.umd.edu QUIT :Leaving Tue Apr 3 17:17:52 2001: :jah-darpa!-jah-darpa@ws202-99.darpa.mil PART #joint-committee :jah-darpa Tue Apr 3 17:39:21 2001: :DanC!-connolly@adsl-208-190-202-227.dsl.kscymo.swbell.net PART #joint-committee :DanC Tue Apr 3 20:53:17 2001: :dlm!+test@KSL-2.Stanford.EDU QUIT : Wed Apr 4 03:00:25 2001: :mdean!-mdean@hh1114013.direcpc.com QUIT :Connection reset by peer Wed Apr 4 03:47:36 2001: :stefandec!+stefan@171.66.183.26 QUIT :Ping timeout Wed Apr 4 07:49:05 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com PART #joint-committee :pfps Tue Apr 10 15:54:54 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#joint-committee Tue Apr 10 15:58:35 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee Tue Apr 10 16:00:58 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :trouble dialing-in again this week -- i'm waiting for the operator now Tue Apr 10 16:01:08 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :yes, I am on with an operatory now Tue Apr 10 16:01:14 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :oops. operator Tue Apr 10 16:02:13 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :by the way, do you know the html tag for highlighting text? I can't remember ... Tue Apr 10 16:02:16 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net JOIN :#joint-committee Tue Apr 10 16:02:24 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :I'm having trouble dialing in. clues? Tue Apr 10 16:02:29 2001: :jeff!-heflin@redqueen.cs.umd.edu JOIN :#joint-committee Tue Apr 10 16:02:59 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :I'm having trouble dialing in. clues? Tue Apr 10 16:03:26 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike is working on it now Tue Apr 10 16:04:10 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :operator says there's no telcon scheduled this week; says our reservation starts 17 Apr. Tue Apr 10 16:04:14 2001: :jah-darpa!-jah-darpa@ws201-143.darpa.mil JOIN :#joint-committee Tue Apr 10 16:04:26 2001: :jah-darpa!-jah-darpa@ws201-143.darpa.mil PRIVMSG #joint-committee :is the telecon on -- I cannot get in Tue Apr 10 16:04:53 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee : Mike is working on it now Tue Apr 10 16:04:58 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :you should be able to get in now -- sorry Tue Apr 10 16:05:44 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :I'm losing, Mike. Conference 6428? Tue Apr 10 16:05:47 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :It is still kicking me to the operator ... Tue Apr 10 16:05:56 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :ah... I'm in. Tue Apr 10 16:06:09 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :voice says I'm the 1st participant Tue Apr 10 16:06:17 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :i'm in too so is jeff Tue Apr 10 16:07:35 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :agenda: http://www.daml.org/listarchive/joint-committee/0361.html Tue Apr 10 16:08:40 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :hyperdaml http://www.daml.org/2001/04/hyperdaml/ Tue Apr 10 16:09:02 2001: :jah-darpa!-jah-darpa@ws201-143.darpa.mil PRIVMSG #joint-committee :http://www.sciam.com/2001/0501issue/0501berners-lee.html Tue Apr 10 16:09:21 2001: :jah-darpa!-jah-darpa@ws201-143.darpa.mil PRIVMSG #joint-committee :Scientific American article on the Semantic Web (Kelly, you should link to daml.org) Tue Apr 10 16:11:49 2001: :dlm!+dlm@171.66.176.243 JOIN :#joint-committee Tue Apr 10 16:28:59 2001: :stefandec!+stefan@Stefan.Stanford.EDU JOIN :#joint-committee Tue Apr 10 16:29:19 2001: :stefandec!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :Start of an example file Tue Apr 10 16:29:22 2001: :stefandec!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :http://www-db.stanford.edu/~stefan/example/examples.html Tue Apr 10 16:29:32 2001: :stefandec!+stefan@Stefan.Stanford.EDU PRIVMSG #joint-committee :comments are appreciated Tue Apr 10 16:30:04 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :http://www.daml.org/listarchive/joint-committee/0344.html Tue Apr 10 16:30:08 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Re: terminating 'imports' loops Tue Apr 10 16:30:08 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :(messages/events) Tue Apr 10 16:30:09 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :From: Dan Connolly (connolly@w3.org) Tue Apr 10 16:30:09 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Date: 03/23/01 Tue Apr 10 16:38:02 2001: :jflynn!-jflynn@ros-dhcp050-160.bbn.com JOIN :#joint-committee Tue Apr 10 16:42:57 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :^(daml:imports ,?ont2 ,?ont1) Tue Apr 10 16:57:34 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :http://www.google.com/search?q=annotated+logic+programming -> Tue Apr 10 16:57:42 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Theory of Generalized Annotated Logic Programming and its ... Tue Apr 10 16:57:43 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :... Kifer, Michael and Subrahmanian, VS", title = "Theory of Generalized Annotated Tue Apr 10 16:57:43 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :Logic Programming and its Applications", journal = "The Journal of Logic ... Tue Apr 10 16:57:45 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :citeseer.nj.nec.com/kifer92theory.html - 26k - Cached - Similar pages Tue Apr 10 16:57:47 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :http://citeseer.nj.nec.com/kifer92theory.html Tue Apr 10 16:59:05 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :what are we talking about? Tue Apr 10 16:59:20 2001: :jeff!-heflin@redqueen.cs.umd.edu PRIVMSG #joint-committee :http://www-db.stanford.edu/~stefan/example/examples.html Tue Apr 10 17:01:07 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :yes, using pictures is nice. Tue Apr 10 17:01:25 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :no, using