OWL class restriction

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