Subsumption question

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 08:26:38 UTC