RE: Equating subproperties to restricted properties

 
Alan,

 > 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.

Thanks!

Conrad
 

-----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

OWLers,

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.

Conrad

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