[closed] horst-01; was: RDF Semantics: RDFS entailment lemma

Herman,

with reference to your comment
http://lists.w3.org/Archives/Public/www-rdf-comments/2003AprJun/0042.html

archived as horst-01.

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 WG has resolved
http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Jul/0025.html
to proceed as follows.

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.

Details can be checked in the current editor's draft at 
http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html#rdfs_interp 
The document mentions the stronger (iff) conditions under the heading 
'extensional semantic conditions'
http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html#ExtensionalDomRang
, and describes some inference rules which are valid under these 
stronger conditions, including rules which cover the case you describe
http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html#RDFSExtRules
; 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
http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html#RDFSRules
  WRT the weakened semantic conditions is provided in appendix B
http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html#prf
. 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.

Sincerely

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@ihmc.us       http://www.ihmc.us/users/phayes

Received on Wednesday, 2 July 2003 19:05:20 UTC