Re: Subsumption question

Hi,

You say that

BYDraconis -> StellarObject and isClassifiedAs some (StellarTypeK or
StellarTypeM)

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.

Nick


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