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

    1c2fd08d00a4e9276ee4f3a5e96664c0.png

    I have two examples with answers for this.


    descriptionlogic.jpg

    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
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

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



Similar Discussions: Universal restriction in description logic
  1. Restricted Partitions (Replies: 10)

  2. Description of events (Replies: 5)

Loading...