- From: Sandro Hawke <sandro@w3.org>
- Date: Tue, 27 Feb 2007 10:47:19 -0500
- To: Chris Welty <cawelty@gmail.com>
- Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
That UML transcribed into ans06. (The WG just resolved to use the UML
for WD1, labeled "still under discussion".)
class Ruleset
property rule: Rule*
class Rule
subclass Forall
property formula : Clause
property variable : Var*
class Clause
subclass Atomic
subclass Implies
property if: Condition
property then: Atomic
Received on Tuesday, 27 February 2007 15:48:34 UTC