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

Equating subproperties to restricted properties

From: Conrad Bock <conrad.bock@nist.gov>
Date: Fri, 7 Mar 2008 09:59:58 -0500
To: "'Web Ontology Language \(\(OWL\)\) Working Group WG'" <public-owl-wg@w3.org>
Message-ID: <043e01c88063$e9345de0$b3200681@MEL.NIST.GOV>


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 Friday, 7 March 2008 15:00:17 UTC

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