W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2003

[closed] Issue #qu-02 rdfs:member functional?

From: pat hayes <phayes@ai.uwf.edu>
Date: Tue, 29 Apr 2003 12:25:48 -0500
Message-Id: <p05210613bad4654ac00d@[10.0.100.12]>
To: "Qu Yuzhong" <yzqu@seu.edu.cn>
Cc: www-rdf-comments@w3.org

Qu,

In

   http://lists.w3.org/Archives/Public/www-rdf-comments/2003JanMar/0308.html

you raised a last call comment on the RDFCore WD's which was recorded as:


   http://www.w3.org/2001/sw/RDFCore/20030123-issues/#qu-02

The RDFCore WG has considered your comment and resolved not to accept it:

   http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Mar/0124.html

on the grounds that (a) the suggestion is not necessary, particularly 
as the condition can be stated explicitly in OWL; and (b) it might 
damage the behavior of existing code.

In addition, I note that this suggestion would provide a back-door 
way of expressing general equality in RDFS, greatly complicating the 
proof rules.

Please reply to this message, copying www-rdf-comments@w3.org, 
indicating whether this decision is acceptable.

Pat Hayes

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola               			(850)202 4440   fax
FL 32501            				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Tuesday, 29 April 2003 13:25:52 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT