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

Question on special class description

From: Lennart Bierkandt <wir03jmk@studserv.uni-leipzig.de>
Date: Tue, 23 Feb 2010 16:35:53 +0100
Message-ID: <20100223163553.48435lrsq3f0q4m1@mail.uni-leipzig.de>
To: public-owl-dev@w3.org

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

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