[KIF] Re: [SCL] DTD for XML/SCL

[Dan Connolly]

On Thu, 2003-02-20 at 17:02, pat hayes wrote:
[...]
> Does anyone have any suggestions for where to look?

Maybe not exactly what you had in mind, but something
I have been meaning to recommend to this group for a while...

I highly recommend you study James Clark's formalization
of Relax-NG. It's one of the nicest uses of XML
for logical formulas I've ever seen.


RELAX NG Formal Semantics
posted by DanCon at 2001-06-27 09:02 (+)
http://rdfig.xmlhack.com/2001/06/27/2001-06-27.html#993632552.869612

->

http://www.oasis-open.org/committees/relax-ng/proofsystem.html
http://www.oasis-open.org/committees/relax-ng/proofsystem.xml
http://www.oasis-open.org/committees/relax-ng/proofsystem.xsl

You might also benefit from studying MathML
and the Helm stuff...
 http://www.cs.unibo.it/~asperti/HELM/home.html

oops; that's gone 404... ah... seems to have become...

"MoWGLI builds on previous standards for the management and publishing
of mathematical documents (MathML, OpenMath, OMDoc), integrating them
with different XML technologies (XSLT, RDF, etc)."
  -- http://www.mowgli.cs.unibo.it/


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/