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

Re: ISSUE-73 (Membership/subclass in Core?): Should Core support the membership and subclass syntax and semantics? [Core]

From: Chris Welty <cawelty@gmail.com>
Date: Thu, 21 Aug 2008 08:56:51 -0400
Message-ID: <48AD6613.4000602@gmail.com>
To: Rule Interchange Format Working Group WG <public-rif-wg@w3.org>


Thanks Dave for opening these issues.  One bookkeeping note, I closed issue 73 
and merged the text with the existing issue-48.

-Chris

Rule Interchange Format Working Group Issue Tracker wrote:
> 
> ISSUE-73 (Membership/subclass in Core?): Should Core support the membership and subclass syntax and semantics? [Core]
> 
> http://www.w3.org/2005/rules/wg/track/issues/73
> 
> Raised by: Dave Reynolds
> On product: 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)?
> 
> 
> 
> 
> 

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty
Received on Thursday, 21 August 2008 12:57:29 GMT

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