使用Protege建立本体

初次使用protege4.3建立本体，使用网上提供的例子，建立简单的本体：

本体间关系如下表示：

Interest下包含BallGame与Music，它们互为disjoint关系；

BallGame包含Basketball与FootBall，也互为disjoint关系；

Music包含Guitar与Piano，互为disjoint关系。

建立testInterest类，在testInterest类下建立not_Guitar，Add Equivalent To （not Guitar）

那么经过推理机推理not_Guitar下就会有除了Guitar外的其他类。

 

建立的类如下，添加相应的关系：

 Equivalent To 填写not Guitar：

 

Reasoner菜单下选择一个推理机进行推理，推理后选择类层次视图，发现not_Guitar下的类： 

 

安装OWLviz插件，可以看到视图，分别为声明视图和推理视图：