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

Re: Question on special class description

From: Thomas Schneider <schneidt@cs.man.ac.uk>
Date: Tue, 23 Feb 2010 19:10:32 +0000
Message-Id: <461A458D-3F29-4E2B-AF3C-56E8351478F9@cs.man.ac.uk>
To: public-owl-dev@w3.org
Hi Lennart,

I can only see two ways, and they lead out of OWL-DL, but perhaps  
someone else here has a better idea?

(1) If you use Boolean operators on roles, you can define a new role  
hasChildButDoesNotLoveIt to be "hasChild and not loves". You can then  
define the desired class as GoodParent = hasChildButDoesNotLoveIt only  
Nothing.

(2) If you define a new property p to be a superproperty of the chain  
"hasChild o inv(loves)", then you can define a GoodParent to be  
equivalent to not p some Self. Unfortunately, only simple object  
property expressions are allowed in hasSelf restrictions and p is  
composite due to the first statement.

I suppose this doesn't really help ... :-S

Cheers

Thomas

On 23 Feb 2010, at 15:35, Lennart Bierkandt wrote:

> Hello,
>
> I am developing an ontology for a linguistic typological database,  
> where I need to describe a class of the form:
> { x | ∀y( r1(x,y) -> r2(x,y) ) }
> As explaining the real use of this would be to complicated, imagine  
> a class denoting e.g. "people who love (r2: loves) all their  
> children (r1: hasChild) (or haven't any)".
>
> In prose it doesn't seem to be too complex, but I didn't find a way  
> to do it..
> CAN this be expressed in OWL-DL? and if, how? (and if not, in OWL- 
> FULL?)
>
> Kind regards,
> Lennart Bierkandt
>
>
>

+----------------------------------------------------------------------+
|  Dr Thomas Schneider                    schneider (at) cs.man.ac.uk  |
|  School of Computer Science       http://www.cs.man.ac.uk/~schneidt  |
|  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
|  University of Manchester                                            |
|  Oxford Road                                             _///_       |
|  Manchester M13 9PL                                      (o~o)       |
+-----------------------------------------------------oOOO--(_)--OOOo--+

Tampa (n.)
   The sound of a rubber eraser coming to rest after dropping off a desk
   in a very quiet room.

                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff







Received on Tuesday, 23 February 2010 19:11:05 GMT

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