RE: Entailment checking with pizza ontology
William Van Woensel <[email protected]>
| Newsgroups | gmane.org.w3c.semantic-web |
|---|---|
| Message-ID | <YTOPR0101MB15302A39481BEEC1E9FA70ABD4E70@YTOPR0101MB1530.CANPRD01.PROD.OUTLOOK.COM> |
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 <[email protected]> Sent: March-02-20 5:16 AM To: [email protected] 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