初次使用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插件,可以看到视图,分别为声明视图和推理视图: