W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2003

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



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
Received on Sunday, 1 June 2003 15:03:13 GMT

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