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
>
>