1、为Animal创建子类Herbivore（食草）、Carnivore（食肉）、Lion、Giaffe（长颈鹿）；为类Plant创建子类Branch、Leaf、Tree.
2、建立属性并关联：
找到Object Properties面板，选中topObjectProperty：
建立eat属性，同时设定其Domains为Animal
建立eated,同时将其标记成eat逆（inverse of）
建立限制属性isPartOf，并将其标记为Transitive。
3、建立类与类之间的关系：
设置Animal与Plant类不相交：即Animal类的排它性属性Disjoint With为Plant类
设置Carnivore类的Equivalent to 为Animal and eat some Animal
设置Herbivore类的Equivalent to 为Animal and eat only Plant
设置Leaf类的子类为isPartOf only Branch，设置Branch类的子类为isPartOf only Tree（Branch是Tree的一部分，但不是Tree的子类。选中Branch,在SubClass Of中限制）
定义吃树叶的Giaffe:子类为eat only Leaf
4、Inferred model推理模型与Asserted model定义模型：
Reasoner->选择推理机，然后Start reasoner。启动后可以在Class中的带有inferred的标签中看到推理后的结构。
