[Pellet-users] only first explanation by org.mindswap.pellet.owlapi.Reasoner.getExplanation()

[Evren Sirin]

On 4/24/08 2:54 PM, Martin Knechtel wrote:
> Hi,
>
> is it possible to get all explaination variants? Only the first 
> explanation is returned by 
> org.mindswap.pellet.owlapi.Reasoner.getExplanation()

Yes, Pellet does not return more than one explanation (but of course a 
single explanation may contain multiple axioms). We have worked on the 
implementation of multiple explanation generation feature and in the end 
contributed our code to OWLAPI where it is more widely usable. If you 
get the latest release of OWLAPI (v 2.2.0) and look into 
com.clarkparsia.explanation package you will find relevant classes 
(DefaultExplanationGenerator is the main class you would use).

But note that the multiple explanation feature in OWLAPI currently uses 
what is called black-box explanation technique for single explanations. 
This would typically be slower compared to the glass-box technique 
Pellet provides. In the next release of Pellet we will provide an 
implementation of com.clarkparsia.explanation.SingleExplanationGenerator 
interface that will better expose Pellet's explanation capability.

Hope this helps,
Evren

>
> Cheers,
> Martin
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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/