Re: Comment: Representing Classes As Property Values on the Semantic Web from Jeremy Carroll on 2005-05-04 (public-swbp-wg@w3.org from May 2005)

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 04 May 2005 19:02:16 +0100
To: Natasha Noy <noy@smi.stanford.edu>
CC: Ivan Herman <ivan@w3.org>, public-swbp-wg@w3.org
Message-ID: <42790E28.7020608@hplb.hpl.hp.com>

In OWL Full

  :LionSubject a :Lion.

OWL Full entails

  :LionSubject a owl:Thing.

===

In OWL DL or OWL Lite any syntactically valid ontology containing the triple

  :LionSubject a :Lion.

for instance this one:
  :LionSubject a :Lion.
  :Lion a owl:Class.

OWL DL entails

  :LionSubject a owl:Thing.


Hence saying
  :LionSubject a owl:Thing

is redundant, even whatever the context says or does not say about the 
language level

Jeremy

Received on Wednesday, 4 May 2005 18:03:20 UTC