Re: Subsumption question

Hi Nick,

I did not actually say that I was expecting BYD to a subclass. I am  
looking for any match to my DL Query in Protege and BYD is not  
appearing at all. My expectation is, as you say, that my query would  
be a subclass of BYD. There must be something in how BYD is defined  
that is not making it appear as the superclass of my query.

	Cheers,

	Matthew

On Apr 30, 2009, at 2:27 AM, Nick Drummond wrote:

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