RE: Entailment checking with pizza ontology

• From: Mikael Pesonen <mikael.pesonen@lingsoft.fi>
• Date: Mon, 2 Mar 2020 11:16:06 +0200
• To: semantic-web@w3.org
• Message-ID: <d535628a-c6b7-89ba-e767-6ddaee901e65@lingsoft.fi>

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

Received on Monday, 2 March 2020 09:16:24 UTC