W3C home > Mailing lists > Public > public-rif-wg@w3.org > February 2007

asn for core, plus generated diagram

From: Sandro Hawke <sandro@w3.org>
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

================================================================




core.jpg
(image/jpeg attachment: core.jpg)

Received on Tuesday, 27 February 2007 20:56:33 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:37 GMT