AW: [RIF-APS] Rules Sign

That's my view:

- Abridged Presentation Syntax is a compact readable representation language
which is dialect independent and used e.g. in RIF UCR to describe examples,
in RIF test cases to show the test rules in the description of the test
case, everywhere where you need to safe space and want rules to be easily
readable by humans (e.g. presentation slides, papers, ...), etc. It is the
union of the abridged versions of the dialect specific (full) presentation
syntaxes. A mapping table from the abridged PS to the full PS of each RIF
dialect is given in the RIF APS specification.

- Dialect (Full) Presentation Syntax are specific to a dialect, e.g. a PS
for BLD, a PS for PRD, a PS for Core, ... In order for the dialect specs. to
be self-contained they are presented in the RIF dialect specifications. For
instance, if you want to learn about BLD you only need to take a look at the
BLD document and you will find the syntax, dialect-specific PS (including
EBNF) and semantics there, without any need to look into other documents
(except DTB). 


- Adrian


-----Ursprüngliche Nachricht-----
Von: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org] Im
Auftrag von Michael Kifer
Gesendet: Mittwoch, 3. September 2008 18:42
An: Stella Mitchell
Cc: Boley, Harold; public-rif-wg@w3.org
Betreff: Re: [RIF-APS] Rules Sign


We need one syntax and one PS. APS should be merged/made compliant with PS,
which is easy to do.

michael

On Wed, 3 Sep 2008 12:36:51 -0400
Stella Mitchell <cleo@us.ibm.com> wrote:

> But the idea was to have all the syntax rules in one place for
> easy reference and understanding. What would be the reason to 
> have two PS's that are not very different  from each other  (or one 
> PS split across two documents?), instead of one?  It's harder to
> keep track of, and the status of one of them is not clear.
> 
> Stella
> 
> 
> 
> 
> 
> "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca> 
> Sent by: public-rif-wg-request@w3.org
> 09/03/2008 10:28 AM
> 
> To
> "Chris Welty" <cawelty@gmail.com>, "Jos de Bruijn" <debruijn@inf.unibz.it>
> cc
> "Adrian Paschke" <adrian.paschke@biotec.tu-dresden.de>, 
> <public-rif-wg@w3.org>
> Subject
> RE: AW: [RIF-APS] Rules Sign
> 
> 
> 
> 
> 
> 
> 
> Chris,
> 
> Because it's BLD's PS, I moved your syntax variant from APS into BLD
> (as a temporary Appendix 11).
> 
> -- Harold 
> 
> 
> -----Original Message-----
> From: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org] 
> On Behalf Of Chris Welty
> Sent: September 2, 2008 11:45 AM
> To: Jos de Bruijn
> Cc: Adrian Paschke; public-rif-wg@w3.org
> Subject: Re: AW: [RIF-APS] Rules Sign
> 
> 
> 
> </chair>
> I moved the full BLD PS EBNF into the APS document and made a few changes 
> that I 
> prefer for presentation, in particular I changed:
> 
> Syntax for named arguments to use '('Name  TERM)')' instead of (Name '->' 
> TERM)
> Syntax for frames to use TERM '::' TERM instead of TERM '->' TERM
> Syntax for member to use TERM 'TY' TERM instead of TERM '#' TERM
> Syntax for subclass to us TERM 'SC' TERM instaed of TERM '##' TERM
> 
> TY is a mnemonic for "type", SC for "subclass"
> 
> These simple changes make the APS much more readable for me.  It still 
> needs to 
> be cleaned up some.  Probably ANGLEBRACKIRI can be dropped and replaced 
> with 
> IRI_REF.
> 
> All the references to external grammars should be included for 
> convenience, 
> again we want people to be able to e.g. print out the grammar page and use

> it as 
> a guide for writing rules or implementing parsers.
> 
> I'm not able to figure out what IRICONST is, I think syntactically its 
> just IRI.
> <chair>
> 
> -Chris
> 
> Jos de Bruijn wrote:
> > 
> > Adrian Paschke wrote:
> >> Chris,
> >>
> >>
> >> :: will not work since it can not be inverted, i.e. you can not 
> distinguish
> >> "body :: head" or "head :: body". 
> >>
> >> <== and <-- might be inverted ==> -->
> >>
> >> -> is already used for frames
> > 
> > I believe Chris wants to change this.
> > In any case, we cannot use ::, because it is already used for
> > classification.
> > 
> > Best, Jos
> > 
> >>
> >> - Adrian
> >>
> >>
> >> -----Ursprüngliche Nachricht-----
> >> Von: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org]

> Im
> >> Auftrag von Chris Welty
> >> Gesendet: Dienstag, 2. September 2008 14:32
> >> An: Adrian Paschke
> >> Cc: public-rif-wg@w3.org
> >> Betreff: Re: [RIF-APS] Rules Sign
> >>
> >>
> >>
> >> I suggest using these two-character symbols for implication: -> <- => 
> <=
> >> then replace all -> with :: (or any other sequence of characters would 
> be
> >> better).
> >>
> >> -Chris
> >>
> >> Adrian Paschke wrote:
> >>> Hello,
> >>>
> >>> 
> >>>
> >>> With respect to the abridged presentation syntax there is still an 
> open
> >>> issue about the sign to distinguish the head and the body of a rule.
> >>>
> >>> 
> >>>
> >>> Currently, we use ":-" in the examples e.g. in UCR and PRD, which is
> >>> well-known in the logic community but not so much in others including
> >>> production rules.
> >>>
> >>> 
> >>>
> >>> I shortly discussed this issue with the BLD/FLD editors Michael and 
> Harold
> >>> and we came up with this unambiguous proposal to distinguish classical
> >>> implication and rules head and body.
> >>>
> >>> 
> >>>
> >>> <== for PRD and BLD
> >>>
> >>> <-- for classical
> >>>
> >>> 
> >>>
> >>> <== and <-- might be also inverted ==> -->
> >>>
> >>> 
> >>>
> >>> -Adrian
> >>>
> >>> 
> >>>
> >>> 
> >>>
> >>> 
> >>>
> >>>
> > 
>

Received on Wednesday, 3 September 2008 17:35:42 UTC