owl - 查询配置交集；门生

Question

我想确定一个对象何时包含两个属性的交集，而不是任何一个属性。

例子：

object: 
    A (has_disposition some disposition_A; has_disposition some disposition_B)
    B (has_disposition some disposition_B; disjoint with A)

disposition:
    disposition_A
    disposition_B
    disposition_AB (EquivalentTo: disposition and ((disposition_A) and (disposition_B))

对象属性作为has_disposition其object域和disposition范围。

Protege 中使用 HermiT 的以下 DL 查询不会产生任何结果：

has_disposition some disposition_AB

以下查询给出了正确答案：

has_disposition some disposition_A (gives A)
has_disposition some disposition_B (gives A, B)

以下操作没有帮助：

• 更改表达式中的括号EquivalentTo。
• 声明没有什么脱节的。
• EquivalentTo分别声明表达式的每个部分。

我无法找到将倾向定义为 OGMS、传染病本体或心血管疾病本体中其他倾向的交集的示例。

Answer 1

没有结果disposition_AB意味着等效公理无法与您拥有的个人匹配。

我不清楚dispositionA 和 B 的类型来自哪里——我怀疑这并没有像你预期的那样被推断出来。