Adam Pease wrote;
> One could
> just have a start and end tag around a KIF expression and that would be a
> valid XML document
>
> <kif>
> (=>
> (instance ?X Horse)
> (exists (?Y)
> (and
> (instance ?Y Head-PartOfBody)
> (part ?X ?Y))))
> </kif>
>
> What would that sort of encoding allow or prohibit that the more extensive
> XML encoding that I provided below wouldn't? (01)
Adopting such an approach would make it impossible to use XSL
Transformations to subset the KIF data, or to transform it into another
format. By adopting a more complex XML representation for the KIF statements
you can begin to use standard transformation tools to subset your KIF
statements into a form that could be used in other environments. (02)
Martin Bryan (03)
The SGML Centre, 29 Oldbury Orchard, Churchdown, Glos GL3 2PU, UK
Phone/Fax: +44 1452 714029 E-mail: mtbryan@xxxxxxxxxxxxxx (04)
For further details about The SGML Centre visit http://www.sgml.u-net.com (05)
--
To post messages mailto:ontolog@xxxxxxxxxxxxxxx
An archive of the [ontolog] forum can be found
at http://ontolog.cim3.org/forums/ontolog (06)
|