owl - Protege：个体类型和个体属性断言之间有什么区别？

Question

在 Protege 5 上，我们可以通过两种不同的方式对个人进行断言。

individual1 type property1 value individual2
individual1 property1 individual2

我不知道他们有什么区别。

另外，有没有办法在基数方面对个人施加一些限制？基于开放世界假设，可以解释个人1可能有其他关系。我想让个人1 只有一种属性，即。财产1。