- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Wed, 02 Jul 2003 22:01:19 +0100
- To: pat hayes <phayes@ihmc.us>
- CC: Jeremy Carroll <jjc@hpl.hp.com>, www-webont-wg@w3.org
pat hayes wrote: > > Really? Hmm. that is odd by itself. In OWL DL, rdfs:Class and owl:Class > are identified, right? In OWL Full, not OWL DL. > Now, A rdfs-entails > > eg:a rdfs:subClassOf eg:b . > eg:a rdf:type rdfs:Class . > eg:b rdf:type rdfs:Class . > > so it presumably must OWL-full-entail A*. So A OWL-full entails A* , and > A* is in OWL DL but A is not in OWL DL ?!? > Correct. > Pat
Received on Wednesday, 2 July 2003 17:01:51 UTC