RE: Entailment checking with pizza ontology

Mikael Pesonen <[email protected]> Mon, 2 Mar 2020 11:16:06 +0200

Newsgroups	gmane.org.w3c.semantic-web
Message-ID	<[email protected]>

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

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.