如何在曼徹斯特貓頭鷹語法中表達「每個」？

如果A isRelatedTo乙和B具有dataproperty：存在= {TRUE，FALSE}如何在曼徹斯特貓頭鷹語法中表達「每個」？

如何可以表達在曼徹斯特貓頭鷹語法（被保護人）其中所述子集：是A型和 A的每個isRelatedTo具有值「真」

我不明白怎麼B涉及到表達以及如何使用財產「存在」。如果他們在你的問題中很重要，你能澄清他們如何相互作用嗎？ – Ignazio

我想你在問什麼是如何爲其成員具有類型A和isRelatedTo屬性的所有值爲true^^xsd:boolean的類編寫類表達式。這是很簡單：

一個和（isRelatedTo 只 {真}）

在門徒新它看起來像這樣：

"A and isRelatedTo only {true}" in the Protégé class expression editor

2013-12-11 00:03:05

回答