[Pellet-users] KRSS - inconsistency-causing-statements

[Bruno Fillipe]

Hi Everybody,

My KRSS KnowledgeBase is as below :

;;; Knowledge Base
(define-primitive-role r)
(related a b r)
(instance a (some r D))
(instance a (at-most 1 r TOP))
(instance b (not D))

 This is inconsistent KB. Reason for inconsistency is obtained by
 abox.getExplanationSet()      in pellet,  which is as shown below.

WARN [main] (KnowledgeBase.java:1575) - Inconsistent ontology. Reason:
Individual b is forced to belong to class D and its complement
WARN [main] (KnowledgeBase.java:1577) - ExplanationSet:
[type(a,max(r,1,_TOP_)), type(a,some(r,D)), prop(r,a,b),
type(b,not(D))]

But, I want to get all the original statements
responsible for inconsistency .i.e.
ExplanationSet: [(related a b r), (instance a (some r D)), (instance a
(at-most 1 r TOP)), (instance b (not D))]

Can someone point to the function available in pellet for that, or
can someone give hint how can I implement (modify) this functionality?

Thanks.
regards, Bruno