Thanks for the feedback! The defeasible subsystem is still very experimental, and it's good to know that people are using it. This said, as for your question. It is possible, but takes a little effort since we don't have a public API for that. You can do: // get the handle for the object InternalFactHandle handle = (InternalFactHandle) session.getFactHandle( myObject ); // lookup the belief set, where all justifiers (pos and neg) are stored and linked DefeasibleBeliefSet dbs = (DefeasibleBeliefSet) posHandle.getEqualityKey().getBeliefSet(); DefeasibilityStatus status = dbs.getStatus(); status now has 4 values: DEFINITELY (strict), DEFEASIBLY, DEFEATEDLY (defeated), UNDECIDEDLY (unresolved conflict) Notice that "negatively" asserted facts end up in a "negative" entry point, so you have to look them up explicitly: InternalFactHandle negHandle = (InternalFactHandle) session.getEntryPoint( "neg" ).getFactHandle( myNegatedObject ); Again, we are currently working on this specific system even now, so things may change in 6.2, but this should work in 6.1. Please report any issue that you might find. Best Davide On 07/21/2014 08:57 PM, Borris wrote:

getObjects() will return all the objects. However, an object's HANDLE will be in the default x-or in the "neg" entry-point, depending on whether the object was asserted in the positive or negative form, and depending on the conflict resolution by defeasibility. In my snippet, "myNegatedObject" was supposedly an object in "negative" form. If you are trying to build a pretty printer, you may just want to iterate the fact handles directly. Methods such as session.getEntryPoints() session.getEntryPoint( entryPointName ).getFactHandles(); will help On 07/22/2014 12:41 AM, Borris wrote: