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

Re: OWL class restriction

From: Alessandro Maccagnan <maccagnan@math.unipd.it>
Date: Wed, 13 Jan 2010 12:09:03 +0100
Message-ID: <a01af6b71001130309h18339a09x4bc2901573e4439b@mail.gmail.com>
To: Uli Sattler <sattler@cs.man.ac.uk>
Cc: "public-owl-dev@w3.org" <public-owl-dev@w3.org>, Erika Feltrin <erika.feltrin@cribi.unipd.it>
Hi Uli,

thanks for your reply.
We are trying to define a propertyChain but we realize that what we need to
say is as follows.

defining these properties:
   Action has_object Some Object
   Action has_action_goal Some Goal
   Object has_object_goal Some Goal

at the individuals level we would like to say:

a1 has_action_goal g1
o1 has_object_goal g1
o2 has_object_goal g2
=>
a1 CAN HAVE has_object o1

BUT
a1 CANNOT HAVE has_object o2

So this means that only the objects (o) that have the same goal (g) of the
action (a) can be used in that action.
Any suggestions?

Cheers
Alessandro

On Tue, Jan 12, 2010 at 5:51 PM, Uli Sattler <sattler@cs.man.ac.uk> wrote:

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


-- 
Alessandro
Maccagnan
Received on Wednesday, 13 January 2010 11:09:38 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:57 GMT