[Scl] Re: Report on Common Logic
Chris Menzel
cmenzel at tamu.edu
Mon Oct 27 19:16:20 CST 2003
On Mon, Oct 27, 2003 at 07:06:36PM -0500, John Sowa wrote:
> In any case, we desperately need some material that is humnaly
> readable, unlike Chris's SCL report, which sounds as if it was
> written for the Journal of Symbolic Logic.
I'd say it *looks* more like it than sounds like it. Yes, of course you
are right, but as noted many times -- and which, in the spirit of
genuine collaboration, you should emphasize -- that document was never
meant for public consumption, but was intended only to get the framework
right for guiding friendlier exposition.
Pat, Tanel, and I were all able to spend time together at ISWC 2003 in
Florida last week, and all seem able to commit some fairly serious time
to SCL over the next 4-6 weeks. I'll be putting version 1.02 on the web
in the next couple of weeks that will clarify a few things in light of
some comments from Ian Horrocks. And we definitely need to get a
friendlier document or two online.
-chris
More information about the SCL
mailing list