[Pellet-users] InternalReasonerExceptions

[Evren Sirin]

Thanks for the detailed bug report. I can confirm the first problem is 
definitely a bug in Pellet reasoning and now recorded at [1]. The second 
one is a problem in OWL-Full heuristics and can easily be fixed by 
adding the  type triple (:ownedBy a owl:ObjectProperty) to the ontology. 
After that addition, the ontology will still trigger the first bug but 
once we resolve that bug it should work.

Cheers,
Evren

[1] http://cvsdude.com/trac/clark-parsia/pellet-devel/ticket/96



On 1/23/08 10:52 AM, Wolfgang May wrote:
> Hi,
>
> when playing with Pellet, I got some InternalReasonerExceptions.
> I tried to reduce the ontology, and got two different 
> error messages for slightly different fragments:
>
> *  Adding type to a pruned node anon3 foo:bla#Nationalities
> *  java.lang.NullPointerException
>         at org.mindswap.pellet.Individual.getMaxCard(Individual.java:569)
>   
> You find more details below (the fragments themselves don't make too much 
> sense since they are stripped). The (hopefully) full ontology that also
> results in the first of the above errors is also attached; its textual
> description can be found at
> http://www.dbis.informatik.uni-goettingen.de/Teaching/SemWeb/fish-puzzle.html
>
> Best,
> Wolfgang
>
>