Re: inference rule markup in W3C specs?

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