logic - 如何用曼彻斯特猫头鹰语法表达“Every”？

Question

如果 A isRelatedTo B 并且 B 具有数据属性：existence = {true, false}

我如何用曼彻斯特猫头鹰语法（对于 protege）表示子集，其中： 是类型 A 并且 A 的每个 isRelatedTo 的值都为“true”

Answer 1

我认为您要问的是如何为其成员具有类型A且其所有isRelatedTo属性值为true^^xsd:boolean. 这很简单：

A and (isRelatedTo only {true})

在 Protégé 中，它看起来像这样：