ATermAppl p = ATermUtils.makeTermAppl( "p" );
ATermAppl o1 = ATermUtils.makeTermAppl( "j1" );
ATermAppl o2 = ATermUtils.makeTermAppl( "j2" );
kb.addIndividual( s );
kb.addAnnotationProperty( p );
assertTrue( kb.addAnnotation( s, p, o1 ) );
assertTrue( kb.addAnnotation( s, p, o2 ) );
Set<ATermAppl> actual = kb.getAnnotations( s, p );