constraints on properties

Hi,

I am developing an ontology that refers to concepts defined in SUMO[1]. I want to define a new property such that its range is union of two other properties. For example, let owl:Class my:Foo be a subclassof sumo:Process and sumo:Process has properties sumo:resource, sumo:instrument, etc.
I want to define property my:bar such that all values for sumo:resource and sumo:instrument properties can be freely referred as values of my:bar. 
What would be the best way to specify this restriction? I have been trying to use AssertedCondition option in Protege but I dont seem to get the correct syntax. Is this constraint possible to represent in owl or does the ontology need to depend on ruleml? 

Thanks for your help,

Vaibhav

1. http://ontology.teknowledge.com/


-- 
___________________________________________________________
Sign-up for Ads Free at Mail.com
http://promo.mail.com/adsfreejump.htm

Received on Tuesday, 22 June 2004 02:58:08 UTC