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

OWL DL extension question

From: Conrad Bock <conrad.bock@nist.gov>
Date: Wed, 21 Mar 2007 13:55:04 -0400
To: <public-owl-dev@w3.org>
Cc: "Conrad Bock" <conrad.bock@nist.gov>, "Evan Wallace" <evan.wallace@nist.gov>
Message-ID: <01a901c76be2$0e487900$b3200681@MEL.NIST.GOV>


Was wondering if anyone is looking into whether this fragment can be
added tractably to OWL DL (1.0):

  (forall (x y z)
     (if (and (P x y)
              (R x z))
         (S y z)))

For example, the uncles of my children include all my brothers
(P=children, R=brothers, S=uncles).

My understanding is this is different from general role inclusion:

  (forall (x y z)
     (if (and (P x y)
              (R y z))
         (S x z)))

For example, my brothers include all the uncles of my children
(P=children, R=uncles, S=brothers).

Received on Wednesday, 21 March 2007 18:41:47 UTC

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