我已经阅读了这篇文章并得到了关于这个主题的另一个问题:
是否可以为域和范围类的每个个体定义一个类属性?就像指向一个类或某些特殊条件的属性值一样。
关于奶瓶的例子:我有这个类层次结构
制造商
-> Milk_Manufacturer
产品
-> Milk_Bottle
Milk_Manufacturer 有个人manufacturer_1 和manufacturer_2
Milk_Bottle 有个人bottle_1 和bottle_2
是否可以定义一个属性 Milk_Bottle isProducedBy Milk_Manufacturer 表示每个单独的 Milk_Bottle 可以由每个单独的 Milk_Manufacturer 生产?推理者应该能够在之后推断出个人的所有属性。
如果我添加一个manufacturer_3 并同步,我希望推理器将属性添加到两个瓶子,如果我添加一个bottle_3,它应该具有所有制造商的属性