- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Thu, 29 Aug 2002 07:30:14 +0200
- To: <www-webont-wg@w3.org>
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 UTC