- From: Dan Brickley <danbri@w3.org>
- Date: Thu, 28 Sep 2000 14:04:20 -0400 (EDT)
- To: www-rdf-logic@w3.org
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