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

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 UTC