[Pellet-users] KRSS and Pellet

[Hongkai Liu]

Hello,

I have a few questions about Pellet. The following are the codes
that check ABox consistency (in KRSS) with unique name assumption. It
seems that

PelletOptions.USE_UNIQUE_NAME_ASSUMPTION = true;

does not do the job. The ABox is

(RELATED IND_A IND_B R1)
(RELATED IND_A IND_C R1)
(INSTANCE IND_A (AT-MOST 1 R1))

It should be inconsistent under UNA. However, the output is

 WARN [main] (KnowledgeBase.java:756) - R1 is not a known property!
 WARN [main] (KnowledgeBase.java:756) - R1 is not a known property!
Expressivity: ALCF
Consistent  : Yes
Done!

Did I do something wrong? Also, what do the above 2 warnings mean?

If an ABox A is inconsistent, how can I have access to the minimal
inconsistent subset of A? (pinpointing) - Still A is in KRSS.

Thanks a lot.

Hongkai Liu

-----------------------------------------------
import org.mindswap.pellet.KRSSLoader;
import org.mindswap.pellet.KnowledgeBase;
import org.mindswap.pellet.PelletOptions;

public class Hello {

       public static void main( String[] args ) throws Exception {
       KRSSLoader loader = new KRSSLoader();
       KnowledgeBase kb = new KnowledgeBase();
       loader.load( "/home/aat/liuhkai/test/java/pellet-1.5.1/test1", kb );
       PelletOptions.USE_UNIQUE_NAME_ASSUMPTION = true;
       kb.prepare();
       System.out.println( "Expressivity: " + kb.getExpressivity() );
       boolean consistent = kb.isConsistent();
       System.out.println( "Consistent  : " + (consistent?"Yes":"No") );
       System.out.println( "Done!");
       }

}