- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Fri, 25 Oct 2002 14:33:47 +0200
- To: "Ian Horrocks" <horrocks@cs.man.ac.uk>, "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
- Cc: <www-webont-wg@w3.org>
> > Description: (informative) > > > > If two URIrefs denote the same thing, then their class > extensions are also > > the same. > > > > > > premises > > ======== > > > > first:thing owl:sameInstanceAs first:sameThing . > > > > conclusions > > =========== > > > > first:thing owl:sameClassAs first:sameThing . > > > > Ian: > Name separation is not an inherent requirement of Fast OWL, and is not > enforced in the abstract syntax - individuals and classes can have the > same names, but are not logically connected. > > Name separation is required, however, if Fast OWL is to be embedded in > RDFS in such a way as to be semantically compatible with Large OWL. > > Ian > One way of moving forward would then be to allow classes-as-instances in all OWLs but to make (large owl) entailments that relate the two (like this test case) not a Fast OWL requirement (and hence not an OWL Lite requirement). Jeremy
Received on Friday, 25 October 2002 08:33:57 UTC