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>


Pat

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

In RDF MT:

 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

http://www.coginst.uwf.edu/users/phayes/RDFS2OWL-D.html

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.

Jeremy
Received on Thursday, 29 August 2002 01:25:00 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:51 GMT