- From: pat hayes <phayes@ai.uwf.edu>
- Date: Tue, 29 Apr 2003 12:30:10 -0500
- To: Ian Horrocks <horrocks@cs.man.ac.uk>
- Cc: www-rdf-comments@w3.org
Ian, In http://lists.w3.org/Archives/Public/www-rdf-comments/2003JanMar/0338.html you made a last call comment on the RDFCore last call WD's, recorded as http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horrocks-01 The RDFCore WG has considered your comment and resolved not to accept it: http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Apr/0207.html This comment gave rise to considerable discussion. While the WG is sympathetic to the need for semantically empty comments, to add a special syntax for them was considered too much of a change to RDF at this stage and possibly outside the WG charter. Also, the WG noted that applications can store such comments in an external RDF surface syntax (eg in XML). Concerning the proposal to render rdf:comment entailments inoperative (vacuously true) by semantic fiat, the WG notes that other users desire rdf:comment entailments to hold, so modifying the semantics to make all such entailments trivial would be controversial. Moreover, we note that OWL can impose such a condition within OWL-RDF as part of a semantic extension. Please respond to this message, copying www-rdf-comments@w3.org indicating whether this decision is acceptable. Please note also, that there is another, related and as yet unresolved comment: http://www.w3.org/2001/sw/RDFCore/20030123-issues/#danc-04 which requests adding a trivially true predicate. Would you like to be considered a co-submitter of this comment and informed about its resolution? 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:30:13 UTC