処分の交差点を照会します。 Protege

Question

どちらのプロパティでもなく、オブジェクトに2つのプロパティの共通部分が含まれていることを特定したいと考えています。

例：

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)) 

そのドメインとその範囲としてdispositionとしてobjectをとるhas_dispositionオブジェクトプロパティ。隠者を使用して

門徒で、次の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のどこから来るのかはっきりしません。期待通りに推測されていないと思われます。実際のオントロジを共有できますか？