使用帶有定量鏈接的RDF / OWL / Triples嗎？

Question

我在掌握類/實例/屬性的概念時遇到困難。 如果我們以以下示例為例：“ Pizza”類，則推斷“ Cheesy Pizza”子類= Pizza＆HasIngredient一些“ Cheese”。 我可以遵循這種邏輯，並且看到自動推斷類的用處。

但是，我不了解如何正確使用定量鏈接/屬性。 一個使用RDF / OWL的人怎么可能表達以下內容：100克奶酪含10克蛋白質。 實例瑪格麗塔披薩有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)