Re: SEM: common class concept

From: Jeremy Carroll <jjc@hplb.hpl.hp.com> Date: Sun, 01 Jun 2003 20:02:41 +0100 Message-ID: <3EDA4DD1.6000909@hplb.hpl.hp.com> To: Jos De_Roo <jos.deroo@agfa.com> CC: www-webont-wg@w3.org · This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:00 GMT

Jos De_Roo wrote:

> Something that is an owl:Class is apparently *not*
> an owl:Thing in OWL DL, whereas it *is* in OWL Full:
> 
>   ex:x rdf:type owl:Class.
> =>
>   ex:x rdf:type owl:Thing.

This entailment is explicitly not a DL entailment because of syntactic 
restrictions on entailments (i.e. the separated vocab).

Once again we see that a test case that really did show that owl:Class and 
rdfs:Class with different extension would be a bug.

Jeremy