标签: owl protege object-property
在Protege 5中,我们可以通过两种不同的方式对个人进行断言。
individual1 type property1 value individual2 individual1 property1 individual2
我不知道它们有什么不同。
另外,有没有办法在基数方面对个人施加一些限制?基于开放世界假设,可以解释个体1可能具有其他关系。我想让个人1只有一种属性,即。 property1。