查询配置的交集;门徒

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作为其范围。

使用HermiT进行Protege中的以下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没有结果意味着无法与您拥有的个人匹配等效公理。

我不清楚disposition类型来自A和B的位置 - 我怀疑没有像你期望的那样推断出来。你能分享实际的本体论吗？