W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2002

RE: Issue 5.19 Classes-as-instances

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>
Message-ID: <BHEGLCKMOHGLGNOKPGHDGEHMCAAA.jjc@hpl.hp.com>


> > 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 GMT

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