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

[TED] Core Horn Rules Edited for Slot/Constraint Removal and XML Derivation

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Sun, 4 Feb 2007 21:15:36 -0500
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E902F6D1E0@nrccenexb1.nrc.ca>
To: "RIF WG" <public-rif-wg@w3.org>

In preparation of the 1st Core WD, I continued with edits re 4) of
by removing slots/constraints from the Core page on Horn Rules;
to support the XML derivation from a 'fully striped' abstract syntax,
I also inserted roles in the 'Forall' formula (*):

-- Harold

(*) Meanwhile, the two-level CORE hierarchy was copy-pasted into a 
    single-level Core hierarchy, so the new Core entry point now is
    http://www.w3.org/2005/rules/wg/wiki/Core (FrontPage is updated).
Received on Monday, 5 February 2007 02:15:50 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:42 UTC