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

[Core] Core telecon Monday, October 13 -- Notes

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Mon, 13 Oct 2008 13:48:50 -0400
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E904FFE589@nrccenexb1.nrc.ca>
To: "RIF WG" <public-rif-wg@w3.org>
These Raw Notes contain annotated PROPOSED resolutions
to two Core issues (I changed one 'head' to 'conclusion'):

http://www.w3.org/2005/rules/wg/track/issues/48
PROPOSED: RIF Core will include member (#) but syntactically
restricted its use in rule conditions.
Rationale 1: PRD rules almost always start with a member test
in the condition.
Rationale 2: PR leverages type system from host programming language
and that is externally defined and immutable by rules.
Comment 1: Note that in RIF-RDF the equivalent property rdf:type
would still be permitted in rule conclusions.
Comment 2: If PRD introduces member (#) in the conclusion,
this restriction to conditions in Core should be reconsidered.

http://www.w3.org/2005/rules/wg/track/issues/75
PROPOSED: Core should keep safe disjunction in rule bodies.
Implementations can be direct or use a well-known preprocessing step.
Comment: An example of a solution to issue-70 is Option 2,
which will be able to cope with disjunction. (See
http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0178.html
and follow up).

Please see the Notes about how we came to agree here today etc.
(Adrian could join on the phone channel only one third into the call).

The Core taskforce would like to bring the two PROPOSEDs as
starting points into an upcoming main telecon.

Also, http://www.w3.org/2005/rules/wg/track/issues/70 could
be dealt with in that main telecon or on next Monday, when we
may have another Core telecon.

-- Harold


Received on Monday, 13 October 2008 17:49:33 GMT

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