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

Subsumption question

From: Matthew Graham <mjg@cacr.caltech.edu>
Date: Wed, 29 Apr 2009 14:06:02 -0700
Message-Id: <87AE4A87-A415-49CD-A9DD-E8654D2CB9BB@cacr.caltech.edu>
To: public-owl-dev@w3.org
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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:57 GMT