RE: Entailment checking with pizza ontology

Hi Mikael,



It does not look like an ontology inconsistency is being thrown, but rather a syntax error by the Manchester OWL Syntax parser. As mentioned, this is quite confusing to me since your code doesn't seem to contradict the syntax document.



Even if it was the reasoner, I feel that this “inconsistency” would contradict the open world assumption.



Perhaps you could submit an issue on the Protégé GitHub page<https://github.com/protegeproject/protege/issues> to get some clarity on the issue ..





W



-----Original Message-----

From: Mikael Pesonen <mikael.pesonen@lingsoft.fi>

Sent: March-02-20 5:16 AM

To: semantic-web@w3.org

Subject: RE: Entailment checking with pizza ontology





Thanks William for verifying that. Did you also use HermiT in Protégé?

That would indicate a bug or limitating feature in HermiT.



BR,

Mikael