查询配置交集；门生

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 没有结果意味着等效公理无法与您拥有的个人匹配。

我不清楚 A 和 B 的 disposition 类型来自哪里 - 我怀疑这不是你所期望的那样推断出来。