Question on special class description

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

Received on Tuesday, 23 February 2010 16:40:55 UTC