[SCL] DTD for XML/SCL

[Bill Andersen]

On Tuesday, Jan 7, 2003, at 12:57 US/Eastern, John F. Sowa wrote:

>  3. Provide an escape tag, which would allow the embedding of various
>     SCL concrete notations within an XML document.  For example,
>
>        <logic language=kif>
>            (exists ((?x Cat) (?y Mat)) (on ?x ?y))
>        </logic>
>
>        <logic language=cgif>
>             (on [Cat] [Mat])
>        </logic>
>

The only comment I have to this is that the John's suggestion, while 
pragmatically useful, isn't really part of CL.  For SCL I don't know if 
we wanted to go toward talking about *uses* of the language and XML 
support for those uses, as John suggests.  Opinions?

   .bill

--
Bill Andersen
Chief Scientist
Ontology Works, Inc.
1132 Annapolis Road, Suite 104
Odenton, Maryland 21113
United States
Office: 410-674-7600
Mobile: 443-858-6444