查詢配置的交集; Protege

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 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的位置 - 我懷疑這並不像您期望的那樣被推斷出來。你能分享實際的本體嗎？