objects properties as inverse and at the same time disjoint

[Manuel Enrique Puebla Martinez]

Hello :

  Is it an error to define two properties of objects as inverse to each other 
and at the same time disjunct?

The reasoner HermiT 1.3.8.3 is generating the following error and I am 
suspecting that is why:

However, other reasoners and evaluative tools such as OOPS, Pellet and TrOWL do 
not report this error.

Best regards, MAnuel Puebla.
La @universidad_uci es Fidel: 15 años conectados al futuro... conectados a la 
Revolución
2002-2017