I am struggling to understand how a universal restriction works in description logic. I can understand the extistential restriction but not the universal.(adsbygoogle = window.adsbygoogle || []).push({});

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?

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Universal restriction in description logic

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads for Universal restriction description |
---|

I Repeatability of necessity: number restrictions? |

**Physics Forums | Science Articles, Homework Help, Discussion**