code: @Override
      public NodeSet<OWLDataProperty> getDisjointDataProperties(
              OWLDataPropertyExpression pe) throws InconsistentOntologyException,
              FreshEntitiesException, ReasonerInterruptedException,
              TimeOutException {
          throw new ReasonerInternalException(
                  "getDisjointDataProperties not implemented");
      }
docs: Gets the data properties that are disjoint with the specified data
  property expression <code>pe</code>. The data properties are returned as
  a {@link NodeSet}.
  
  @param pe
  The data property expression whose disjoint data properties
  are to be retrieved.
  @return The return value is a <code>NodeSet</code> such that for each
  data property <code>P</code> in the <code>NodeSet</code> the set
  of reasoner axioms entails
  <code>EquivalentDataProperties(P, DataPropertyComplementOf(pe))</code>
  or
  <code>StrictSubDataPropertyOf(P, DataPropertyComplementOf(pe))</code>
  .
  
  @throws InconsistentOntologyException
  if the imports closure of the root ontology is inconsistent
  @throws ClassExpressionNotInProfileException
  if <code>data propertyExpression</code> is not within the
  profile that is supported by this reasoner.
  @throws FreshEntitiesException
  if the signature of <code>pe</code> is not contained within
  the signature of the imports closure of the root ontology and
  the undeclared entity policy of this reasoner is set to
  {@link FreshEntityPolicy#DISALLOW}.
  @throws ReasonerInterruptedException
  if the reasoning process was interrupted for any particular
  reason (for example if reasoning was cancelled by a client
  process)
  @throws TimeOutException
  if the reasoner timed out during a basic reasoning operation.
  See {@link #getTimeOut()}.