OWL 2(概念产品)中每个人的班级财产断言

时间:2017-04-26 15:33:07

标签: inheritance owl semantic-web protege description-logic

我已阅读this article并对此主题提出了另外一个问题:

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

关于milkbottle示例: 我有这个类层次结构

制造商
- > Milk_Manufacturer
产品
- > Milk_Bottle

Milk_Manufacturer有个人manufacturer_1和manufacturer_2
Milk_Bottle有个人bottle_1和bottle_2

是否可以定义一个属性Milk_Bottle isProducedBy Milk_Manufacturer,它表示每个Milk_Manufacturer可以生产每个Milk_Bottle?推理者之后应该能够推断出个人的所有属性。

如果我添加manufacturer_3并同步我希望推理器将属性添加到两个瓶子中,如果我添加一个bottle_3,它应该具有所有制造商的属性

1 个答案:

答案 0 :(得分:0)

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

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

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

致AKSW的答案