W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2009

Re: Subsumption question

From: Nick Drummond <nick.drummond@cs.manchester.ac.uk>
Date: Thu, 30 Apr 2009 10:27:56 +0100
Message-ID: <65c62cd50904300227lc50a2c3vca810da66391b096@mail.gmail.com>
To: Matthew Graham <mjg@cacr.caltech.edu>
Cc: public-owl-dev@w3.org

You say that

BYDraconis -> StellarObject and isClassifiedAs some (StellarTypeK or

and your query is

StellarObject and isClassfiedAs some StellarTypeK

Then you would not expect BYDraconis to be a subclass of your query, rather
the other way around

StellaTypeK -> StellarTypeK or StellaTypeM

Not the other way around.


2009/4/29 Matthew Graham <mjg@cacr.caltech.edu>

> Hi,
> I'm new to OWL and am still trying to get my head around some stuff so
> apologies if this email seems to be asking a dumb question. I'm also sending
> this message to this list since I think it is about OWL in general.
> I'm using the latest version of Protege to work on my ontology and have the
> following issue:
> Classes: StellarObject (subclass of AstrObject), StellarTypeK (subclass of
> ClassificationCategory), StellarTypeM (subclass of ClassificationCategory)
> Properties: isClassifiedAs (domain: AstrObject, range:
> ClassificationCategory)
> A class BYDraconis has an inherited anonymous class: StellarObject and
> isClassifiedAs some (StellarTypeK or StellarTypeM).
> I am making a class query with DL Query looking for: StellarObject and
> isClassfiedAs some StellarTypeK
> but it is not matching BYDraconis. So why generally is "Class and
> myProperty some A" not a subclass of "Class and myProperty some (A or B)" ?
> How should I be modelling this so that it does what I want?
>        Cheers,
>        Matthew Graham
Received on Thursday, 30 April 2009 09:28:35 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:18 UTC