Tue May 29 13:27:26 2001: :mdean!-mdean@hh1114013.direcpc.com JOIN :#joint-committee Tue May 29 14:47:41 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee Tue May 29 15:04:49 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net JOIN :#joint-committee Tue May 29 15:04:55 2001: :Ian!=horrocks@oaklands.demon.co.uk JOIN :#joint-committee Tue May 29 15:04:56 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :hi. Tue May 29 15:05:19 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :hi. :) Tue May 29 15:05:36 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :minutes from 15May: looks good. Tue May 29 15:06:24 2001: :stefan!+stefan@DNab4046e6.Stanford.EDU JOIN :#joint-committee Tue May 29 15:08:09 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com JOIN :#joint-committee Tue May 29 15:09:38 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :range expressions are on the RDF issues list: http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range Tue May 29 15:10:00 2001: :mdean!-mdean@hh1114013.direcpc.com PRIVMSG #joint-committee :thanks -- i'll add that to the minutes Tue May 29 15:12:40 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :pfps, I heard about half of that. Tue May 29 15:12:54 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :same here Tue May 29 15:14:13 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :http://www.w3.org/2000/03/rdf-tracking/#rdfs-xml-schema-datatypes Tue May 29 15:15:05 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :http://www.w3.org/2000/03/rdf-tracking/#rdfms-seq-representation Tue May 29 15:16:31 2001: :Frankh!+Frank.van@node10467.a2000.nl JOIN :#joint-committee Tue May 29 15:43:33 2001: :las1!+las@208.171.201.124 JOIN :#joint-committee Tue May 29 15:43:47 2001: :las1!+las@208.171.201.124 PRIVMSG #joint-committee :ACTION wonders whether anyone has looked at linear logic? Tue May 29 15:44:11 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :I hear about linear logic now and again; it's in my "boy... I should read up on that sometime" pile. Tue May 29 15:44:25 2001: :las1!+las@208.171.201.124 PRIVMSG #joint-committee :Yes, it's particularly apropos this conversation Tue May 29 15:48:08 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :I have to leave now. Take care all! Tue May 29 15:48:47 2001: :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com QUIT : Tue May 29 16:00:38 2001: :stefan!+stefan@DNab4046e6.Stanford.EDU PRIVMSG #joint-committee :http://citeseer.nj.nec.com/context/117/39605 Tue May 29 16:00:59 2001: :stefan!+stefan@DNab4046e6.Stanford.EDU PRIVMSG #joint-committee :A Representation Language Combining Horn Rules and Description Logics: CARIN Tue May 29 16:03:59 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :today's rules discussion was quite meaty. glad we finally got around to it. Tue May 29 16:04:23 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PRIVMSG #joint-committee :ciao. Tue May 29 16:04:36 2001: :DanC!-connolly@adsl-208-190-202-206.dsl.kscymo.swbell.net PART #joint-committee :DanC Tue May 29 16:05:01 2001: :las1!+las@208.171.201.124 PRIVMSG #joint-committee :I send regrets for next week and possibly for part or all of the following week....still working on 12th. Tue May 29 16:23:03 2001: :las1!+las@208.171.201.124 PART #joint-committee :las1 Tue May 29 16:28:20 2001: :Ian!=horrocks@oaklands.demon.co.uk QUIT :[x]chat Tue May 29 16:28:27 2001: :Frankh!+Frank.van@node10467.a2000.nl QUIT : Tue May 29 19:35:01 2001: :stefan!+stefan@DNab4046e6.Stanford.EDU QUIT :Ping timeout Wed May 30 08:19:01 2001: :pfps!-pfps@H-135-104-27-244.research.bell-labs.com QUIT :