Exercise 12.25

Translate the following description logic expression (from page description-logic-ex) into first-order logic, and comment on the result:

View Answer