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