Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Universal restriction in description logic

  1. Jan 19, 2012 #1
    I am struggling to understand how a universal restriction works in description logic. I can understand the extistential restriction but not the universal.

    the definition is


    I have two examples with answers for this.


    For the first one (B AND A) is easy enough to work out: (a,b,d,f)
    Now the answer given is (f,e,d) the only way I can ge to (f,e,d) is to look at every x elelment in the relation R and it is (a,b,c) and hence the negation would be (d,e,f). However as hard as I appy (a,b,d,f) I cannot get to (d,e,f).

    I have tried using the (a,b,d,f) as the x value in the R relation but that would be only (a,c)
    I have tried using it as the y value but that would be (a,c) again nothing like the answer provided.
    Anyone have any ideas or am I totally lost here?
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted

Similar Threads for Universal restriction description
I Repeatability of necessity: number restrictions?