protege4.3 本体构建及推理机racer的使用

1、打开Protege 软件，不能随意修改本体IRI 路径（必须符合RDF文件规则），可以根据用户意愿修改物理保存路径。打开的窗口如图

2、选择【Classes】标签，创建基本类层级结构，同时对各个类进行【Annotation】注释。Thing 有子类Animal 和Plant，Animal 有子类Herbivore、Carnivore、Lion、Giaffe，Plant 有子类Tree、Branch和Leaf。如图

3、选择【Object Properties】标签，创建基本事物关联层级结构，并对各个关联进行【Annotation】注释。添加topObejectProperty的子类eat、eated 和is_part_of，eat 有子类maineat。如图所示。

4、在【Object Properties】标签窗口设置关联属性。其中is_part_of关联具有传递性（【Characteristics】小标签中Transitive 属性），同时设置eat 关联和eated 关联互为逆关联（【Description】小标签中的Inverse properties 属性），并且maineat 关联的值域为Animal类（【Description】小标签中的Ranges 属性）。如图所示。

5、回到【Classes】标签，建立类与类之间的关系。设置

①Animal类与Plant类不相交，即Animal类的Disjoint classes 属性为Plant，

②Carnivore 类的Equivalent To 属性为Animal and eat some Animal，

③Giaffe 类的Subclass of 为eat only Leaf，

④Herbivore类的Equivalent To 属性为Animal and eat only Plant，

⑤Lion 类的Subclass of  为maineat some Herbivore，

⑥Branch 类的Subclass of  为is_part_of only Tree，

⑦Leaf 类的Subclass of 为is_part_of only Branch。

这样我们就设定了以下事物关联规则：树叶是树枝的一部分，树枝是树的一部分，只吃植物的动物是食草动物，长颈鹿只吃树叶，狮子有时吃食草动物，可以吃动物的动物是食肉动物

备注：由于中文逻辑比英文逻辑复杂，可以默认为protege 中父类【对象】使用父类【事物关联】定义，子类【对象】使用子类【事物关联】定义。
举一个简单的例子：动物分为人和其它动物，会开车的是人，不会开车的是动物，会开好车的是土豪。“会开好车”是“开车”的子类，“土豪”是“人”的子类。

6、以上就设定好了本体类，类与类之间的关联及其规则，就可以查看本体关系图形，如图 所示。

7、加载并且启动推理机，就可以进行推理、查询、可视化工作。
①类层级结构变化（左图是推理之前定义的，右图是推理之后的）由此可见，Lion 类已经被推理为Carnivore 类的子类，同时Giaffe类也被推理为Herbivore 类的子类，这符合了现实的逻辑关系。

②本体可视化树形图变化（上图是推理之前形成的，下图是推理之后形成的）