1. 建模类
- 打开软件 -> 选择导航栏中的Window选项卡,再选择Tab子选项卡,选择Classes,如下图所示
- 选择Classes选项卡,选择owl: Thing 这一所有类的超类,再选择左上角的图标,来创建一个子类,具体如下图所示
2 建立子类
- 在owl:Thing这一超类下,建立两个子类,分别为Animal和Plant,如下图所示
- 在这两个子类下,再建立子类Tree和Herbivore(素食动物),如下图所示
3 建立属性
- 选择导航栏中的Window选项卡,再选择Tab子选项卡,选择Object properties,如下图所示
- 选择owl:topObjectProperty这一属性,新建三个属性:eated、eat、is_part_of,如下图所示
- 对 is_part_of 设置属性,选择Transitive复选框,设置其为一个传递性属性,如下图所示
- 对 eat 设置属性,选择Description,为其选择一个动作主语,也就是其所属的域,Domians,如下图所示
- 对 eated 设置属性,选择Description,为其选择逆关系,Inverse Of,选择其所属的父属性,SubProperty Of,如下图所示