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




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


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


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