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>

DLers,

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

Conrad

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