W3C home > Mailing lists > Public > public-owl-wg@w3.org > March 2008

RE: Equating subproperties to restricted properties

From: Conrad Bock <conrad.bock@nist.gov>
Date: Sat, 8 Mar 2008 15:03:17 -0500
To: "'Alan Ruttenberg'" <alanruttenberg@gmail.com>
Cc: "'Web Ontology Language \(\(OWL\)\) Working Group WG'" <public-owl-wg@w3.org>
Message-ID: <01b101c88157$73a37850$24dc0681@MEL.NIST.GOV>


 > Is this relevant: http://www.w3.org/2007/OWL/tracker/issues/22

Yes, the self relation can be used here also:

  SubObjectPropertyChain( dolphindolphin eat )

  ReflexiveObjectProperty( dolphindolphin )

  ObjectPropertyDomain( dolphindolphin Dolphin )

  FunctionalObjectProperty( dolphindolphin )

This gives a subproperty (chain) of eats with values only on dolphins,
which can be used in other chains with properties on dolphins.



-----Original Message-----
From: Conrad Bock [mailto:conrad.bock@nist.gov] 
Sent: Friday, March 07, 2008 10:00 AM
To: 'Web Ontology Language ((OWL)) Working Group WG'
Subject: Equating subproperties to restricted properties


Is it possible in OWL 1.1 to equate a property to another as it is
restricted on a subclass of the domain?  For example:

    Animals eat Animals

    Dolphins eat Fish (restriction of eat property on Dolphin)

    Dolphins dolphin-eat Fish (dolphin-eat a subproperty of eat, with
                               domain Dolphin, which has the same
                               interpretation as eat when the domain is
                               restricted to dolphins).

I think this is needed when introducing a role chains in the subclass.
For example, a role chain that includes eat, but only applies to
dolphins, would need to use dolphin-eat.  Maybe there's another way to
do that, can't think of any.

Received on Saturday, 8 March 2008 20:03:36 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:03 UTC