- From: Harold Boley <boley@informatik.uni-kl.de>
- Date: Fri, 12 Apr 2002 19:36:02 +0200
- To: Dan Connolly <connolly@w3.org>, asperti@cs.unibo.it
- CC: www-math@w3.org, www-rdf-logic@w3.org, Said Tabet <stabet@nisusinc.com>
Dan Connolly wrote: > After a quick scan of http://www.dfki.uni-kl.de/ruleml/ , > I don't see any tools for taking RuleML and formatting > it for display. At http://www.relfun.org/ruleml/rfml-ruleml.html I gave two stylesheets, http://www.relfun.org/ruleml/ruleml2rfml.xsl and http://www.relfun.org/rfml/rfmlsp.xsl, whose composition does RuleML formatting as font-and-color-coded HTML Prolog for the Hornlog sublanguage. E.g., http://www.relfun.org/ruleml/discount.ruleml is being formatted thus: http://www.relfun.org/ruleml/discount.html. The two stylesheets could be combined into one and be extended for further RuleML sublanguages, but the point is that only the underlying XML is 'official' RuleML. Different font-and-color codings, infix operators (e.g., ":-" vs. "<-"), or tree-like 2D/3D representations might be useful for different purposes, including editing. In http://www.dfki.uni-kl.de/~boley/ruleml-mht-talk/ I discussed some RuleML techniques, including RuleML<->RFML stylesheets. Andrea Asperti wrote: > In any case, a strong coordination with the MathML WG is surely > auspicable. Maybe we can try to create a small task force of people > interested in this issue. The RuleML Initiative has started to act as an 'umbrella' for various rule markup efforts and would certainly like to help here. -- Harold Boley, DFKI, http://www.dfki.uni-kl.de/~boley
Received on Friday, 12 April 2002 13:36:09 UTC