Description Logic Markup Language, XSLT demos etc

Hi folks

Just stumbled across this, c/o http://www.xml.com/pub/coverpage/newspage.html

	Description Logic Markup Language (DLML)
	http://co4.inrialpes.fr/xml/dlml/

	"...is not a language but rather a system of DTDs that allows to encode
	many (if not all) description logics in the same framework".


There's a nice use of XSLT (XML stylesheet tranformations)
there, which I expect Dan Connolly and Jos De Roo at least will find
appealing: 

http://co4.inrialpes.fr/xml/dlml/dlml-trans.html
[[
The DLML structures can be used for storing and communicating
terminologies to other systems. But, they can also be transformed in the
process. Here we exemplify
some use of DLML through transformations. The XML document manipulations
presented below are achieved easily with XML Stylesheet Language
Tranformations (XSLT). Moreover the transformations are described in a modular
way which follows the modular description of the logics themselves. 
]]

In particular, the XSLT that generates printable LaTeX (including online
live service at http://co4.inrialpes.fr/xml/dlml/dlml-trans.html ) might
be of immediate interest. 

Dan

--
mailto:danbri@w3.org
W3C/ILRT

Received on Thursday, 28 September 2000 14:04:21 UTC