ISSUE-48: Classification constructs in Core [NOT CP]

Membership/subclass in Core?

Classification constructs in Core [NOT CP]

State:
CLOSED
Product:
Core
Raised by:
Christian de Sainte Marie
Opened on:
2008-01-15
Description:
Issues 41 and 43 about the classification constructs have been closed by resolution to include them in BLD (see minutes of january 8, 2008, http://lists.w3.org/Archives/Public/public-rif-wg/2008Jan/att-0028/rif-minutes-jan8-2008.html).

However, the question remains of their inclusion in Core.

We've previously suggested membership and subclass be omitted form CORE on the grounds that CORE is minimal and those can regarded as largely syntactic sugar.

Many PR systems have a notion of object with a type and class hierarchy and so there is some support for member and subclass in PRD which suggests they should be in Core. However, since such systems often can't support assertion of membership or subclass relations, only query of it, then PRD currently doesn't permits rules to conclude (assert) a member or subclass relation.

So the maximal intersection of BLD and PRD would only permit query not derivation of these properties. Such a limitation complicates the presentation of Core and restricts implementations of Core from using them to export type relations which don't meet those constraints.

Should we err on the side of simplicity (just leave them out) or maximal intersection (include them along with constraints on usage)?
Related Actions Items:
No related actions
Related emails:
  1. AW: Summary: Urgent: Issue with RIF-Core EBNF Grammar? (from adrian.paschke@gmx.de on 2010-05-12)
  2. Re: Summary: Urgent: Issue with RIF-Core EBNF Grammar? (from jos.debruijn@gmail.com on 2010-05-12)
  3. Re: Summary: Urgent: Issue with RIF-Core EBNF Grammar? (from jos.debruijn@gmail.com on 2010-05-12)
  4. Re: Summary: Urgent: Issue with RIF-Core EBNF Grammar? (from sandro@w3.org on 2010-05-12)
  5. Summary: Urgent: Issue with RIF-Core EBNF Grammar? (from axel.polleres@deri.org on 2010-05-12)
  6. Re: Urgent: Issue with RIF-Core EBNF Grammar? (from csma@fr.ibm.com on 2010-05-12)
  7. Re: Urgent: Issue with RIF-Core EBNF Grammar? (from axel.polleres@deri.org on 2010-05-12)
  8. Re: Urgent: Issue with RIF-Core EBNF Grammar? (from jos.debruijn@gmail.com on 2010-05-12)
  9. Re: Urgent: Issue with RIF-Core EBNF Grammar? (from dave.e.reynolds@googlemail.com on 2010-05-12)
  10. Re: RIF Core shortened (from kifer@cs.sunysb.edu on 2008-11-18)
  11. Re: RIF Core shortened (from gary.hallmark@oracle.com on 2008-11-18)
  12. Re: RIF Core shortened (from csma@ilog.fr on 2008-11-18)
  13. Re: ISSUE-73 (Membership/subclass in Core?): Should Core support the membership and subclass syntax and semantics? [Core] (from der@hplb.hpl.hp.com on 2008-08-21)
  14. Re: ISSUE-73 (Membership/subclass in Core?): Should Core support the membership and subclass syntax and semantics? [Core] (from cawelty@gmail.com on 2008-08-21)
  15. [Admin] draft Minutes from April 22, 2008 telecon (from gary.hallmark@oracle.com on 2008-04-24)
  16. [Admin] Agenda for RIF telecon April 21 (from cawelty@gmail.com on 2008-04-21)
  17. Re: [FLD] Comments on draft dated April 7 (from kifer@cs.sunysb.edu (Michael Kifer) on 2008-04-16)
  18. Re: [FLD] Comments on draft dated April 7 (from kifer@cs.sunysb.edu (Michael Kifer) on 2008-04-15)
  19. Re: [FLD] Comments on draft dated April 7 (from csma@ilog.fr on 2008-04-15)
  20. Re: [FLD] Comments on draft dated April 7 (from kifer@cs.sunysb.edu (Michael Kifer) on 2008-04-14)
  21. [FLD] Comments on draft dated April 7 (from csma@ilog.fr on 2008-04-14)
  22. ISSUE-48: Classification constructs in Core [Technical Design] (from sysbot+tracker@w3.org on 2008-01-15)

Related notes:

At the 22-Apr-2008 telecon the WG resolved this issues is not CP for BLD LC.

Christopher Welty, 22 Apr 2008, 20:03:07

Merged from ISSUE-73

Christopher Welty, 21 Aug 2008, 12:54:18

http://www.w3.org/2009/01/15-rif-irc#T19-58-06

<sandro> RESOLVED: Close issue-48. membership (#) in Core facts and conditions. subclass (##) not in Core.

Sandro Hawke, 15 Jan 2009, 19:58:31

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 48.html,v 1.1 2013-02-08 09:09:35 vivien Exp $