Date: Tue, 27 Feb 2007 15:53:27 -0500
To: public-rif-wg@w3.org
Message-Id: <20070227205437.025074EED7@homer.w3.org>
Here's the asn06 for the core, as I've heard it, and a UML diagram generated from it automatically. The layout is far from perfect. ================================================================ default namespace rif = "http://www.w3.org/2007/01/rif#" class Ruleset property rule: list of Rule class Rule subclass Forall property formula : Clause property declare : list of Var class Clause subclass Atomic subclass Implies property if: Condition property then: Atomic class Condition subclass And property formula : list of Condition subclass Or property formula : list of Condition subclass Exists property declare : list of Var property formula : Condition subclass Atomic class Atomic subclass Uniterm subclass Equal property lhs: Term property rhs: Term class Term subclass Var property name: xsd:string subclass Const property name: xsd:string subclass Uniterm property op: Const property arg: list of Term ================================================================
(image/jpeg attachment: core.jpg)