Re: [OWLAPI-developer] Example 11 strange result

[Chuming C. <chu...@gm...>]

Hi Matthew,

Thank you very much!

After removing those redundant axioms from the inferred ontology, 
everything seems fine.

Is there a way to turn off the pellet log message? I guess Pellet config 
may have an option to do that, but since Example 11 uses reflection to 
create an instance of Pellet, I wonder whether I can turn it off from 
OWL API.

Chuming


Matthew Horridge wrote:
> Hi Chuming,
>
> The intersection might not be empty.  You might have asserted C -> D,  
> but this might also be in the inferred class hierarchy.
>
> Cheers,
>
> Matthew
>
>
>