Re: third version of semantics document

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