[Core] Core telecon Monday, September 22

All WG members are invited to join the next (second) Core telecon,
which from now on will be a taskforce telecon consisting of the
Core editors plus the WG members who want to join.


AGENDA Teleconference
W3C RIF-Core Taskforce
22 September 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

* Admin (short)

* State of Core page with Editors notes [1]

* Open Core issues [2] and initial PROPOSED resolutions
  (s. below) <--- 40 mins

* Further Core edits


Best,
Harold


[1] http://www.w3.org/2005/rules/wiki/Core
[2] http://www.w3.org/2005/rules/wg/track/issues/open


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

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

The following are the current wordings of PROPOSED resolutions,
drafted by Core editors: 

http://www.w3.org/2005/rules/wg/track/issues/48
PROPOSED: Keep membership/subclass in Core
(maybe limiting these constructs to rule bodies).

http://www.w3.org/2005/rules/wg/track/issues/70
PROPOSED: Parameterize the conformance clauses of Core with
safeness requirements "strict", "weak", and "none" (default: "none").

http://www.w3.org/2005/rules/wg/track/issues/71
PROPOSED: Core should keep unrestricted equality and external function 
calls in rule bodies and keep external functions calls in rule heads. 

http://www.w3.org/2005/rules/wg/track/issues/72
PROPOSED: Do not include Skolem functions or a 'New' builtin for Core
(a 'New' construct can be developed for PRD).

http://www.w3.org/2005/rules/wg/track/issues/74
PROPOSED: Core should keep both frames/objects and
(positional-argument) predicates/relations.

http://www.w3.org/2005/rules/wg/track/issues/75
PROPOSED: Core should keep disjunction in rule bodies (cf. Gary's UC).

http://www.w3.org/2005/rules/wg/track/issues/76
PROPOSED: Core should keep unrestricted equality in rule bodies (cf.
ISSUE-71).

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

Received on Wednesday, 17 September 2008 16:27:52 UTC