code: @Override
      public void addReflexiveObjectPropertyAxiom(ObjectPropertyExpression ope) throws InconsistentOntologyException {
          if (ope.isTop())
              return;
          if (ope.isBottom())
              throw new InconsistentOntologyException();
  
          reflexiveObjectPropertyAxioms.add(ope.isInverse() ? ope.getInverse() : ope);
      }
docs: Normalizes and adds a reflexive object property axiom
  <p>
  ReflexiveObjectProperty := 'ReflexiveObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'
  <p>
  Implements rule [O3]:<br>
  - ignores if top (which is reflexive by definition)<br>
  - inconsistency if bot (which is not reflexive)<br>
  - otherwise, removes the inverse if required
  
  @throws InconsistentOntologyException