W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2010

Re: OWL class restriction

From: Uli Sattler <sattler@cs.man.ac.uk>
Date: Tue, 12 Jan 2010 16:51:43 +0000
Cc: "public-owl-dev@w3.org" <public-owl-dev@w3.org>, Erika Feltrin <erika.feltrin@cribi.unipd.it>
Message-Id: <A78AAC8F-3DCB-48AE-97FC-0E935B4944D0@cs.man.ac.uk>
To: Alessandro Maccagnan <maccagnan@math.unipd.it>
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
Received on Tuesday, 12 January 2010 16:52:11 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:18 UTC