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: <1057787429.IAA22192@phantom.w3.org>
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.

Received on Sunday, 1 June 2003 15:03:13 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:53 UTC