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

Re: asn of "current diagram"

From: Dan Connolly <connolly@w3.org>
Date: Tue, 27 Feb 2007 09:16:17 -0600
To: Sandro Hawke <sandro@w3.org>
Cc: public-rif-wg@w3.org
Message-Id: <1172589377.4098.88.camel@dirk>

On Tue, 2007-02-27 at 09:51 -0500, Sandro Hawke wrote:
> 
> class Ruleset
>    property rule: Rule*
> 
> class Rule
> 
>    subclass Forall
>       property clause : Clause
>       property declare : Var

Why a * in Rule* but not in Clause* nor Var*?
That seems inconsistent or backwards to me.
Perhaps I don't understand the notation.

> class Clause
> 
>    subclass Atom

I look forward to an elaboration of Atom. Most of the
issues I'm interested in are in there.

>    subclass Implies
>       property if: Condition
>       property then: Atom

hmm... only one Atom in the 'then' part. That's
weaker than SPARQL's CONSTRUCT, if I'm reading this
correctly. That seems kinda odd.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Tuesday, 27 February 2007 15:16:50 GMT

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