如何用manchester owl语法表达“Every”？

Question

如果A isRelatedTo B 和B有dataproperty：presence = {true，false}

我怎样才能在manchester中表达owl语法（for protege）子集，其中： 是A型和 每个isRelatedTo of A的值都为“true”

Answer 1

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

  

和（isRelatedTo 仅 {true}）

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