- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Wed, 04 May 2005 14:28:44 +0100
- To: Ivan Herman <ivan@w3.org>
- CC: public-swbp-wg@w3.org
Ivan Herman wrote: > The text (as well as the code) says: > > :LionSubject a :Lion. > > and, sort of, makes the implicit conclusion that this also means > > :LionSubject a owl:Thing. > > However, as far as I understand, this is not true per se *unless* we > know in advance that we are in OWL DL or OWL Light. (Only responding to your example, not to any suggestions about the document) Hmmm, in OWL Full, this entailment is trivial isn't it? owl:Thing and rdfs:Resource are the same in OWL Full ... (maybe I need to check the text) Jeremy
Received on Wednesday, 4 May 2005 13:29:39 UTC