W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > July 2003

Proposal to close horst-01

From: pat hayes <phayes@ihmc.us>
Date: Tue, 1 Jul 2003 21:50:23 -0500
Message-Id: <p06001208bb27f1199dbd@[]>
To: w3c-rdfcore-wg@w3.org
Cc: www-rdf-comments@w3.org


with reference to your comment

archived as horst-01, the situation has been resolved as follows. 
Details can be checked in the current editor's draft at 

First, many thanks for your close attention to the technical matters 
and your helpful comments, which have required the WG to re-examine 
several of its earlier decisions.

The RDS semantic conditions on subClassOf and subPropertyOf have been 
weakened to be 'only if' rather than 'iff' conditions; under these 
conditions, the entailments that you noted are no longer valid.

The document mentions the stronger (iff) conditions under the heading 
'extensional semantic conditions', and describes some inference rules 
which are valid under these stronger conditions, including rules 
which cover the case you describe; but it does not claim to offer a 
complete set of such rules for these stronger conditions.

A proof of the completeness of the (somewhat shortened) list of RDFS 
rules WRT the weakened semantic conditions is provided in appendix B. 
As you will see, most of the complexity of the proof has to do with 
the treatment of literals; the RDFS rules correspondence is now 
straightforward since all the semantic conditions map directly into 
forward implications.

Please reply to this message, copying www-rdf-comments@w3.org, 
indicating whether this response addresses your comment adequately.


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@ihmc.us       http://www.ihmc.us/users/phayes
Received on Tuesday, 1 July 2003 22:50:25 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:23 UTC