W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2002

Re: third version of semantics document

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 29 Aug 2002 07:30:14 +0200
To: <www-webont-wg@w3.org>
Message-ID: <MABBLGKMPIJFCKFGDBEPOEBKCBAA.jjc@hplb.hpl.hp.com>


I reraise the range question that I raised a few months back on rdf core.


 eg:prop rdfs:range eg:A .
 eg:B rdfs:subClassOf eg:A .

does not rdfs-entail

 eg:prop rdfs:range eg:B .


As far as I can see in your doc


the following is also a non-entailment

 eg:prop rdfs:range eg:A .
 eg:B rdfs:subClassOf eg:A .
 eg:prop rdf:type owl:Property .
 eg:A rdf:type owl:Class .
 eg:B rdf:type owl:Class .

not entailing

  eg:prop rdfs:range eg:B .

whereas in my understanding of Peter's MT it is an entailment.

Received on Thursday, 29 August 2002 01:25:00 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:46 UTC