System.out.println( "Total time " + (e - s) + " ms)" );
JenaReasoner.printIterator( model.validate().getReports(), "Validation Results" );
// perform ABox addition which results in a consistent KB
Resource concept = model.getResource( mindswap + "GraduateStudent" );
Individual individual = model.createIndividual( mindswappers + "JohnDoe", concept );
// perform incremental consistency check
s = System.currentTimeMillis();
model.prepare();
e = System.currentTimeMillis();
//print time and validation report
System.out.println( "Total time " + (e - s) + " ms)" );
JenaReasoner.printIterator( model.validate().getReports(), "Validation Results" );
// perform ABox addition which results in an inconsistent KB
Property role = model.getProperty( foaf + "mbox" );
individual = model.getIndividual( mindswappers + "Christian.Halaschek" );
RDFNode mbox = model.getIndividual( "mailto:kolovski@cs.umd.edu" );
individual.addProperty( role, mbox );
// perform incremental consistency check
s = System.currentTimeMillis();
model.prepare();
e = System.currentTimeMillis();