W3C home > Mailing lists > Public > www-math@w3.org > April 2002

Re: inference rule markup in W3C specs?

From: Harold Boley <boley@informatik.uni-kl.de>
Date: Fri, 12 Apr 2002 19:36:02 +0200
Message-ID: <3CB71B02.E63A91E@informatik.uni-kl.de>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:32 UTC