使用RDF/OWL/Triples与定量链接

Question

我很难理解类/实例/属性的概念。如果我们举以下例子：类"Pizza"，推断出的子类"Cheesy Pizza’=Pizza&HasIngredient一些"奶酪"。我可以遵循这个逻辑，我看到了自动推断类的有用性。

然而，我不知道如何正确使用定量链接/属性。如何使用RDF/OWL表达以下内容：100克奶酪含有10克蛋白质。Instance玛格丽塔披萨有250克奶酪？此外，有人能推断出玛格丽塔披萨含有25克蛋白质吗？

Answer 1

为此，您需要具体化量化关系，例如将QtyOfX创建为自己的类。空白节点可以帮助您表达这一点(方括号之间的内容(。

:Cheese a :Ingredient .
:Cheese :hasProteinToGramsRatio 0.1 .
:Pizza1 :hasIngredientQty [ hasQuantityInGrams 250; hasIngridient :Cheese  ]

有了这个，你可以构建你的推理，例如：

:hasIngredientQty(?p,?q) ^ :hasIngredient(?q,?x) ^ :hasProteinToGramsRatio(?x,?r) ^ swrlb:multiply(?proteinCount, ?q, ?r)
-> :hasProteins(?p,?proteinCount)