[TED] CORE Positive Conditions Edited for Slot Removal and XML Derivation

In preparation of the 1st CORE WD, I started with edits re 4) of
http://lists.w3.org/Archives/Public/public-rif-wg/2007Jan/0111.html
by removing slots from the CORE page on Positive Conditions:
http://www.w3.org/2005/rules/wg/wiki/CORE/Conditions/Positive?action=dif
f&rev1=12&rev2=11

To support the XML derivation from a 'fully striped' abstract syntax,
I also inserted roles in 'Exists' formulas:
http://www.w3.org/2005/rules/wg/wiki/CORE/Conditions/Positive?action=dif
f&rev2=13&rev1=12

-- Harold

Received on Sunday, 28 January 2007 23:49:15 UTC