[Pellet-users] Fwd: Developer question

[Evren Sirin]

On 7/14/08 9:29 AM, Kendall Grant Clark wrote:
> --- Begin forwarded message from Pradeep ---
> From: Pradeep <pradeep at purdue.edu>
> To: "inquiries at clarkparsia.com" <inquiries at clarkparsia.com>
> Date: Mon, 14 Jul 2008 07:16:13 -0400
> Subject: Developer question
>
> Hi,
> I am not sure if this is the right channel to ask a Pellet related
> technical question, but I tried posting to the pellet-users forum but my
> msg hasnt been posted as yet.
> I have a simple question to the developers of Pellet,
> 1. How do you access warnings and error messages thrown by pellet(when i
> compute inferred types)? e.g. if i wanted my JAVA code to show the error
> messages in its console or a JAVA swing panel, how do i do that?
>   

The easiest way to use explanations is through OWLAPI interface (e.g. 
see the ExplanationExample.java that comes in the examples directory). 
Create a Reasoner object, check for consistency and then call 
reasoner.getExplanation() to get the axioms for inconsistency. If you 
want to retreive the string printed then you can do 
reasoner.getKB().getExplanation().

> 2. If on computing inferred types (for e.g. on the attached ontology),
> there indeed are two sources of errors, Pellet shows just randomly picks
> one and shows that as the source of inconsistency, how can i see all
> sources of inconsistency?
>   

The current version only shows one explanation at a time. If you fix the 
first one it will report the other inconsistency. There is code in the 
OWLAPI that allows you to get all the explanations at once (actually 
there are two different packages com.clarkparsia.explanation package and 
org.semanticweb.owl.debugging in the OWLAPI that would let you to do that).
> To elaborate on the above questions using am example, plz see attached,
> property 'hasValue' of Class A has been restricted to take as value only
> instances from class B2, and on creating an instance of Class A and
> populating an instance of class B1 in its 'hasValue' property, we expect
> to see an inconsistency and we do as a Pellet error msg, " Instance ####
> is forced to belong to Class B2 and its compliment", how can i view this
> message in my own Java code?
> secondly, when i reproduce a similar inconsistency with Class C and
> property 'hasValueAlso', i still see just one error msg, how can i see both?
>
> Plz direct this to the appropriate people who can answer this query,
> Your promptness is much appreciated!
>
>   

Cheers,
Evren

> Thanks!
> Pradeep
> Research Assistant, Purdue University
> --- End forwarded message ---
>
>   
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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/