Re: Entailment checking with pizza ontology

Hi William,

I'm using HermiT from command line so it has to be parser or reasoner 
error as you mentioned. I'll make a post to HermiT forum, let's see how 
it goes.

Thanks,
Mikael


On 02/03/2020 21.20, William Van Woensel wrote:
>
> 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
>

-- 
Lingsoft - 30 years of Leading Language Management

www.lingsoft.fi

Speech Applications - Language Management - Translation - Reader's and Writer's Tools - Text Tools - E-books and M-books

Mikael Pesonen
System Engineer

e-mail: mikael.pesonen@lingsoft.fi
Tel. +358 2 279 3300

Time zone: GMT+2

Helsinki Office
Eteläranta 10
FI-00130 Helsinki
FINLAND

Turku Office
Kauppiaskatu 5 A
FI-20100 Turku
FINLAND