W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2003

Re: owl:subClassOf ? [was: Re: working on it]

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Fri, 27 Jun 2003 15:50:49 +0100 (BST)
To: Brian McBride <bwm@hplb.hpl.hp.com>
cc: pat hayes <phayes@ihmc.us>, rdf core <w3c-rdfcore-wg@w3.org>
Message-ID: <Pine.GSO.4.44.0306271546450.21189-100000@mail.ilrt.bris.ac.uk>

On Fri, 27 Jun 2003, Jan Grant wrote:

> On 27 Jun 2003, Brian McBride wrote:
>
> >
> > On Thu, 2003-06-26 at 23:44, pat hayes wrote:
> >
> > [...]
> >
> > > >
> > > >If so, then Owl want a stronger notion of subClassOf than that proposed
> > > >in this document for rdfs:subClassOf.
> > >
> > > It will want to impose stronger conditions on the meaning of that term, yes.
> >
> > I had my stronger/weaker notions mixed up apparently.  I had taken
> > stronger to mean more restrictive, i.e. that
> >
> >   c1 owl:subClassOf c2
> >
> > |=
> >
> >   c1 rdfs:subClassOf c2
> >
> > But that isn't the case, right?
>
> Can someone please provide me with a concrete counterexample of this, if
> it's not the case?

Ah, s'ok. I think (correct me if I'm wrong) that Brian's use of
entailment notation is wrong here. Certainly you can _conclude_ using
OWL (various flavours) that the owl subclass applies when you can't
rdfs-conclude the equivalent relationship. however, if c1 owl:sco c2
then c1 rdfs:sco c2 is entailed, surely, because of what "entails" means
(all satisfying interpretations of the first MUST satisfy the latter).
Right?

-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/
Unfortunately, I have a very good idea how fast my keys are moving.
Received on Friday, 27 June 2003 10:52:19 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:59 EDT