W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2008

RE: [PRD] PRD ch 2.1 review

From: Paul Vincent <pvincent@tibco.com>
Date: Thu, 19 Jun 2008 16:26:25 -0700
Message-ID: <637B7E7B51291C48838F5AE1F2ACA1D714CF71@NA-PA-VBE02.na.tibco.com>
To: "RIF WG" <public-rif-wg@w3.org>
2.1 Conditions 


The most basic construct in RIF is the TERM. The TERM is an abstract
construct, concretly visible, in RIF-PRD, as a Const, a Var or an

Typo: "concretely" Const 

The xml:lang attribute, as defined by 2.12 Language Identification of
XML 1.0 or its successor specifications in the W3C recommandation track,
is optionally used to identify the language for the presentation of the
Const to the user. 

Typo: "recommendation"


Constant types. RIF-PRD conformant implementations MUST support the
following builtin constant types: 

No float or Boolean types? I know we have Atom defined later, but I'd
have thought NmNot 

A FORMULA can represent the non-monotonic negation of a statement,
itself represented by a FORMULA: this is represenetd by the NmNot


The NnNot element contains exactly one formula element. The formula
element contains an element of the FORMULA group, that represents the
negated statement. 



       <formula> FORMULA </formula>



Typos: NnNot or NmNot? 

Explanation: would be good to link to an explanation of what this
actually means.

Received on Thursday, 19 June 2008 23:27:09 UTC

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