属性 对 OWL 2(概念产品)中每个人的 class 级别的断言

property assertions on class level for every individual in OWL 2 (concept product)

我已阅读 并收到有关此主题的其他问题:

是否可以为域中的每个个体定义一个class 属性和范围class?就像指向 class 或某些特殊条件的 属性 值一样。

关于奶瓶示例: 我有这个 class 层次结构

制造商
-> 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 它应该具有所有制造商的属性

有两种应用概念产品角色的方法:

  • SWRL 规则:Milk_Bottle(?x), Milk_Manufacturer(?y) -> isProducedBy(?x, ?y)

  • a 描述逻辑规则:Milk_Bottle SubClassOf R_1 Self,Milk_Manufacturer SubClassOf R_2 Self,isProducedBy SubPropertyChain R_1 o U o R_2

答案归功于 AKSW