[SCL] DTD for XML/SCL

[Chris Menzel]

John,

Your remarks all seem quite correct, though they have a cautionary tone
I'm not quite sure I understand.  You sum the situation up well:

> I have been a supporter of the GML-SGML-HTML-XML family of markup
> languages since the early 1970s, but only for those applications
> that make sense.  Examples like the above [viz., Bill's XML rendering
> of (x)P(sx) -> P(s0)] might be useful for some applications, but KIF
> or CGIF notations are vastly simpler and vastly preferable for a great
> many other applications.

I doubt anyone in the group would dispute that!  The point of a
DTD like the one I sent around is precisly to provide an XML <-> SCL
interface for the kinds of applications you allude to.  And for those
more immersed in the XML world than that of mathematical logic, it also
provides a readable specification of (an instance of) SCL.  Your caveats
about XML abuses leading to degraded performance, needless verbosity,
etc suggest you think something more insidious is afoot.  I don't know
what might be lurking in the darker recesses of Bill's mind ;-), but as
I see it this is just a small part of the critical task of ensuring
smooth integration between SCL and rapidly evolving semantic web
standards.

-chris