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
================================================================
