我建议把这句话看成两个属性:树 hasNode ,属性值为大于等于0的数字树 is 有限集合。不够专业,供参考。protege的3.x版本确实比4.x好用,请参考斯坦福大学的网站,有一个篇说3.x与4.x的不同的表,相对与3.x,4.x是一个实验版本,推荐3.4版。
4,protege 本体构建的问题
那两个就可以用,如果你想找pellet,可以再file里面找“Check for plugins”,等一会就会出来一个界面,在里面可以选择你要下载的Plugins,里面应该会有pellet。解析protege要在java环境中利用jena等本体解析工具对owl文件进行解析。protege只是支持本体的构建和推理。有关jena的东西你可以上网搜索,或到其官方网站
在protege中有两种properties,一种是object properties,表示两个类(或概念)之间的关系,一种是data properties,表示类(概念)与值的关系。你所说的定义关系可以在object properties中进行定义,就类似于三元组中的谓语一样,你可以在本体用定义的这个对象属性来表示两个类的关系。不过在protege中的owlviz中是无法看到你定义的内在关系的,你可以去下载一个插件,ontograf,该插件可在图中显示你定义的全部信息,包括你定义的关系以及概念的注释等。在protege中有两种properties,一种是object properties,表示两个类(或概念)之间的关系,一种是data properties,表示类(概念)与值的关系。你所说的定义关系可以在object properties中进行定义,就类似于三元组中的谓语一样,你可以在本体用定义的这个对象属性来表示两个类的关系可以的,比如说 is a part of ,is a child of等等