W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

[RIF][FLD][PRD] Negation Framework Capturing Inflationary Negation

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Mon, 4 May 2009 15:18:42 -0400
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E907EF09EA@nrccenexb1.nrc.ca>
To: "RIF" <public-rif-wg@w3.org>
This follows recent discussions about negation in PRD,
here called 'Nio' (Negation inflationary operator).

The FLD EBNF at
http://www.w3.org/2005/rules/wiki/FLD#EBNF_Grammar_for_the_Presentation_
Syntax_of_RIF-FLD
could be extended for 'Nio' and abstract

  FORMULA        ::= . . .
                     IRIMETA? 'Neg' FORMULA |
                     IRIMETA? 'Naf' FORMULA |
                     IRIMETA? 'Nio' FORMULA |
                     . . .
to

  FORMULA        ::= . . .
                     IRIMETA? NEGATOR FORMULA |
                     . . .
  NEGATOR        ::= 'Neg' | 'Naf' | 'Nio' | KBRDSTRING

paralleling similar abstractions we did for the
(binary) CONNECTIVEs and for the QUANTIFIERs.

-- Harold


---------
PS: KBRDSTRING is FLD's handle for extensions.
Received on Monday, 4 May 2009 19:19:29 GMT

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