Re: OWL class restriction

Hi Alessandro,

this is a tricky think to be done. What you can do is use a  
propertychain to ensure that

the composition of  has_object with has_Goal implies has_Goal.

This would require the usage of a dedicated 'has_Goal' (rather than a  
less specific has_information) property, but this shouldn't be a  
problem (make has_information a superproperty of has_Goal if you like).

Does this suffice? Cheers, Uli

On 12 Jan 2010, at 14:54, Alessandro Maccagnan wrote:

> Hello,
>
> we are developing an ontology for the description of a general  
> Action structure. The Action Structure is composed of:
>
> Subject (that performs the action)
> Object_complement (that undergoes the action)
> Complement (that helps in the execution of the action)
> Goal of Action (the effect of the action)
>
> We have already defined that:
>
> Action has_information one Goal_of_action
> Action has_object some Object
> Object is_object_in some Action
> Object has_information some Goal_of_action (because an object can be  
> used in several distinct actions)
>
> Now we would like to say that an Action can have as its objects only  
> those that have the same goal of the related action.
>
> Action has_object some Object where Object.Goal=Action.Goal
>
> Unfortunately we are stuck because we do not know how to formalize  
> it in OWL. Does anybody have any suggestions to help us?
>
>
> Kind regards,
>
> Alessandro Maccagnan
>
>