ProtegeOWL - 如何表达关于类的一些事实？

Question

我有班级Dogs, Cats, Meat, Milk和对象属性：
don't like, like。
有人可以解释我如何在ProtegeOWL中表达以下事实吗？

1. 所有狗都不喜欢猫
2. 所有的狗都喜欢一些肉
3. 有些猫喜欢牛奶
4. 所有的猫都喜欢所有的牛奶