1. Are you sure that you're asking on the right mailing list? 2. HermiT is generating which error? You forgot to put it into the mail - note, images are not supported
3. That is not an error in OWL 2 DL, but as we can't see the "error" and don't know whether you're not having other axioms in your ontology that might violate the global restrictions in OWL 2 DL [1], who knows? 4. OOPS is not an OWL DL reasoner, but a pitfall scanner with a catalog of common pitfalls [2] in ontology modeling. This tool would probably fail to determine OWL 2 DL limitations on properties as mentioned in [1] 5. So you have Pellet + TrOWL vs HermiT -> 2 vs 1 -> would this be enough evidence for you? 6. You could try to contact Birte Glimm (principle developer/maintainer of HermiT) and ask whether this is a bug or the other reasoners are wrong [1] https://www.w3.org/TR/owl2-syntax/#Global_Restrictions_on_Axioms_in_OWL_2_DL [2] http://oops.linkeddata.es/catalogue.jsp On 01.12.2017 21:40, Manuel Enrique Puebla Martinez wrote: > > 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
