Tue Aug 21 11:49:04 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de JOIN :#joint-committee
Tue Aug 21 11:49:23 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :test
Tue Aug 21 11:52:23 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PART #joint-committee :boley
Tue Aug 21 11:54:22 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de JOIN :#joint-committee
Tue Aug 21 11:56:26 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PART #joint-committee :boley
Tue Aug 21 11:59:23 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de JOIN :#joint-committee
Tue Aug 21 11:59:46 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PART #joint-committee :boley
Tue Aug 21 15:48:49 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de JOIN :#joint-committee
Tue Aug 21 15:51:47 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com JOIN :#joint-committee
Tue Aug 21 15:59:36 2001:  :Ian!-horrocks@oaklands.demon.co.uk JOIN :#joint-committee
Tue Aug 21 16:02:41 2001:  :las!+las@208.171.201.140 JOIN :#joint-committee
Tue Aug 21 16:03:24 2001:  :las!+las@208.171.201.140 PRIVMSG #joint-committee :
ACTION wonders whether telecon attendance could be reported here as it went by too fast for me (and included a few I didn't recognize)

Tue Aug 21 16:03:34 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Mike
Tue Aug 21 16:03:35 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Pat
Tue Aug 21 16:03:35 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Richard
Tue Aug 21 16:03:35 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Harold Boley
Tue Aug 21 16:03:35 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Ora
Tue Aug 21 16:03:35 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Lynn
Tue Aug 21 16:03:37 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Ian
Tue Aug 21 16:03:39 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Benjamin
Tue Aug 21 16:03:41 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee ::)
Tue Aug 21 16:14:28 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :We could ask ourselves: What is the least general common generalization of DL and HornL?
Tue Aug 21 16:15:28 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :Or: As we search our (many) ways upwards from DL and HornL towards FOL,
Tue Aug 21 16:16:07 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :what will be the 'first' language generalizing both DL and HornL?
Tue Aug 21 16:16:46 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :Will this language still be sufficiently 'below' full FOL to count as a new KR?
Tue Aug 21 16:17:13 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :A possible target language could be recursive CARIN-ALLNR with function symbols.
Tue Aug 21 16:20:28 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :For some purposes, however, we would probable want to re-separate such an
Tue Aug 21 16:20:32 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :(undeciable) hybrid language into a deciable DL part and an undeciable HL part.
Tue Aug 21 16:22:21 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :To learn more about the space of possible combinations, we could align examples
Tue Aug 21 16:22:22 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com PRIVMSG #joint-committee :Harold, I am catching your comments in my notes, so you know. 
Tue Aug 21 16:22:44 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :and sublanguages of DAML+OIL and RuleML (in both syntaxes). This could also shed
Tue Aug 21 16:22:48 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :some new light on proposed layerings of both DAML+OIL and RuleML.
Tue Aug 21 16:23:41 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :Kelly, thanks!
Tue Aug 21 16:52:43 2001:  :las!+las@208.171.201.140 PRIVMSG #joint-committee :xml query:  www.w3.org/XML/Query
Tue Aug 21 17:06:36 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PRIVMSG #joint-committee :http://ilrt.org/people/cmlm/ (Libby Miller) is working on http://swordfish.rdfweb.org/rdfquery 
Tue Aug 21 17:07:22 2001:  :las!+las@208.171.201.140 PRIVMSG #joint-committee :there are several rdf query proposals, but nothing Officially Sanctioned yet.
Tue Aug 21 17:07:40 2001:  :Ian!-horrocks@oaklands.demon.co.uk QUIT :[x]chat
Tue Aug 21 17:07:55 2001:  :Kelly!+kmbarber@c452690-d.spokn1.wa.home.com QUIT :
Tue Aug 21 17:08:42 2001:  :boley!-boley@dfki-2004.dfki.uni-kl.de PART #joint-committee :boley
Tue Aug 21 17:08:56 2001:  :las!+las@208.171.201.140 PART #joint-committee :las
Tue Aug 21 19:53:16 2001:  :las1!+las@208.171.201.140 JOIN :#joint-committee
Wed Aug 22 12:21:25 2001:  :las1!+las@208.171.201.140 QUIT :turning into a pumpkin....