[Core] Core telecon Monday, October 13

All WG members are invited to join the next telecon
of the Core taskforce.


AGENDA Teleconference
W3C RIF-Core Taskforce
13 October 2008

North America and Europe are in daylight saving time:
Mondays 1500 UTC, 0800 (West US) 1100 (East US) 1600 (London) 1700
(Paris)

Duration: *normally 60 mins*

Zakim Bridges: +1.617.761.6200 (US), +33 4 89 06 34 99 (F?) or
+44.117.370.6152 (GB?)

Conference code: 74394 ("RIFWG")

Web-based IRC (member-only): as for main telecons


Agenda

* Review of current Core issues and resolutions
- Debrief from September 22 [1]
- F2F11 Core resolutions [2]
- Open Core issues and initial PROPOSED resolutions [3]

* Finalizing PROPOSED resolutions on three Core issues

- http://www.w3.org/2005/rules/wg/track/issues/48
PROPOSED: RIF Core will include member (#) but
syntactically restricted its use in rule bodies. Note that in RIF-RDF
the equivalent property rdf:type would still be permitted in rule heads.
Rationale: PRD rules almost always start with
           "if p is a person and p.age > 16 and ... then ..."

- http://www.w3.org/2005/rules/wg/track/issues/70
PROPOSED: Parameterize the conformance clauses of Core with
safeness requirements "strict" and "none" (default: "none").
Comment:  (modulo nice word for "none")
See also: Axel's Definition of strict safeness [4]

- http://www.w3.org/2005/rules/wg/track/issues/75
PROPOSED: Core should keep disjunction in rule bodies,
only if this is permitted by the solution to issue-70.

Best,
Harold


[1]
http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/att-0206/2008-
09-23-minutes-revised.html#item06
[2] http://www.w3.org/2005/rules/wg/meeting/2008-09-27#Core
[3] http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0151.html
[4] http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0178.html


Please note that RIF-Core telecons are for attendance only by
RIF Working Group Participants and guests invited by the chairs.

------------------------------------------------------

Received on Friday, 10 October 2008 21:42:28 UTC