- From: Hassan Aït-Kaci <hak@ilog.com>
- Date: Tue, 27 Feb 2007 07:28:45 -0800
- To: Dan Connolly <connolly@w3.org>
- CC: Sandro Hawke <sandro@w3.org>, public-rif-wg@w3.org
Dan Connolly wrote: > 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 ... I agree. > ... or backwards to me. > Perhaps I don't understand the notation. > [...] >> 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. This is meant to represent only Horn clauses, Dan. -hak -- Hassan Aït-Kaci ILOG, Inc. - Product Division R&D tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com
Received on Tuesday, 27 February 2007 15:29:30 UTC