ISSUE-43 ISSUE 41 - Proposed resolution for membership and classification

It's time to push now and start closing some of these age-old RIF issues.

My sense of this discussion is that the following proposal addresses enough 
concerns of those who object to membership and classification in BLD that they 
can live with it while still leaving something for those who favor it.

Proposed: Close Issue-43 by including in BLD subclass formulae of the form a 
rif:subClassOf b.  In the RDF compatibility document, rif:subClassOf will be 
defined as a rdfs:subPropertyOf rdfs:subClassOf.

Proposed: Close Issue-41 by including in BLD membership formulae of the form c 
rif:type a.  In the RDF compatibility document, rif:type will be defined to be 
equivalent to rdf:type.

I realize the latter begs the question why rif:type if it is the same as 
rdf:type, but I'd like to handle that question separately.

So, if you object to these proposed resolutions let us know, otherwise I'd like 
to close these on Tuesday.

-Chris

-- 
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 Saturday, 5 January 2008 14:59:30 UTC