title: Query for intersection of dispositions; Protege
body: <p>I want to identify when an object contains the intersection of two properties, as opposed to either property. </p>
  
  <p><strong>Example:</strong></p>
  
  <pre><code>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))
  </code></pre>
  
  <p>The object property <code>has_disposition</code> takes <code>object</code> as its domain and <code>disposition</code> as its range.</p>
  
  <p>The following DL Query in Protege using HermiT produces nothing:</p>
  
  <pre><code>has_disposition some disposition_AB
  </code></pre>
  
  <p>The following queries give the correct answer:</p>
  
  <pre><code>has_disposition some disposition_A (gives A)
  has_disposition some disposition_B (gives A, B)
  </code></pre>
  
  <p>The following actions did not help: </p>
  
  <ul>
  <li>Changing parentheses in the <code>EquivalentTo</code> expression.</li>
  <li>Declaring nothing disjoint. </li>
  <li>Declaring each part of the <code>EquivalentTo</code> expression separately.</li>
  </ul>
  
  <p>I was unable to find examples of a disposition being defined as the intersection of other dispositions in OGMS, the Infectious Disease Ontology, or the Cardiovascular Disease Ontology. </p>