protege 推理机教程

1、在Animal中建立狮子类和肉食动物类。定义这两个类在同一级中，即这两个类为兄弟关系，目的是推理后狮子变为肉食动物的子类

3、编辑肉食动物的属性。这里我们需要建立一个eat的子属性maineat(主要吃的是)

5、将肉食动物的maineat属性变为充分必要条件。因为在现在的逻辑模型中我们的标沼敫裣秤准是开放世界假说，也就是说在没有成功证明某个陈述之前，我们将这个陈述定义为未知的事实而不是假的。