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

【问题标题】：How do I express "Every" in manchester owl syntax?如何用曼彻斯特猫头鹰语法表达“Every”？
【发布时间】：2013-12-10 14:19:54
【问题描述】：

如果 A 与 B 相关而 B 具有数据属性：existence = {true, false}

我怎样才能用曼彻斯特猫头鹰语法（为 protege）表达子集，其中：是 A 型并且 A 的每个 isRelatedTo 的值为“true”

【问题讨论】：

【解决方案1】：

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

一个和（isRelatedTo only {true}）

在 Protégé 中是这样的：

【讨论】：