[Pellet-users] Error on finding all minimal justifications for a subsumption

[Evren Sirin]

2009/4/8  <jfdu at ios.ac.cn>:
> Hi all,
>
> I conducted some experiments on finding all minimal justification for a
> subsumption relation using pellet-2.0.0-rc4. When I typed the following
> command "pellet explain --subclass
> http://www.co-ode.org/ontologies/galen#Bacillus,http://www.co-ode.org/ontologies/galen#Organism
> -x 0 Bacillus.owl" for finding all minimal justifications in the attached
> OWL file, I got the following error message:
>
> Exception in thread "main" org.semanticweb.owl.model.OWLRuntimeException:
> Explan
> ation contains removed axiom: SubClassOf(Bacillus Bacterium)
>        at
> com.clarkparsia.explanation.HSTExplanationGenerator.constructHittingS
> etTree(HSTExplanationGenerator.java:341)
>        at
> com.clarkparsia.explanation.HSTExplanationGenerator.getExplanations(H
> STExplanationGenerator.java:170)
>        at pellet.PelletExplain.explainAxiom(PelletExplain.java:277)
>        at pellet.PelletExplain.explainSubClass(PelletExplain.java:358)
>        at pellet.PelletExplain.run(PelletExplain.java:252)
>        at pellet.Pellet.explain(Pellet.java:250)
>        at pellet.Pellet.run(Pellet.java:91)
>        at pellet.Pellet.main(Pellet.java:42)
>
> On the other hand, when typed the following command "pellet explain
> --subclass
> http://www.co-ode.org/ontologies/galen#Bacillus,http://www.co-ode.org/ontologies/galen#Organism
> Bacillus.owl" for finding *one* minimal justifications in the attached OWL
> file, I got an answer:
>
> Axiom: Bacillus subClassOf Organism
>
> Explanation:
>   Bacillus subClassOf Bacterium
>   Bacterium subClassOf MicroOrganism
>   MicroOrganism subClassOf MicroscopicStructure
>                            and Organism
>
> Could anybody give me some help on tackling such problem?

This is a known issue that occurs when multiple explanations are
asked. It is expected that single explanations come out OK because the
problem is in the multiple explanation generator. This issue is
recorded in the issue tracker [1] and will be resolved for the next
release.

Cheers,
Evren

[1] https://node8.cvsdude.com/trac/clark-parsia/pellet-devel/ticket/209

>
> Thanks,
> Jianfeng Du
> State Key Lab of Computer Science
> Institute of Software, Chinese Academy of Sciences
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>