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

[Core] Core telecon Monday, September 22

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Wed, 17 Sep 2008 12:27:09 -0400
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E904FFE483@nrccenexb1.nrc.ca>
To: "RIF WG" <public-rif-wg@w3.org>

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

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


* 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


[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
Group Participants and guests invited by the chairs. 


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

PROPOSED: Keep membership/subclass in Core
(maybe limiting these constructs to rule bodies).

PROPOSED: Parameterize the conformance clauses of Core with
safeness requirements "strict", "weak", and "none" (default: "none").

PROPOSED: Core should keep unrestricted equality and external function 
calls in rule bodies and keep external functions calls in rule heads. 

PROPOSED: Do not include Skolem functions or a 'New' builtin for Core
(a 'New' construct can be developed for PRD).

PROPOSED: Core should keep both frames/objects and
(positional-argument) predicates/relations.

PROPOSED: Core should keep disjunction in rule bodies (cf. Gary's UC).

PROPOSED: Core should keep unrestricted equality in rule bodies (cf.

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:52 UTC