ATermAppl a = term( "a" );
ATermAppl c = term( "c" );
ATermAppl r = term( "r" );
kb.addIndividual( a );
kb.addClass( c );
kb.addSubClass( c, all( r, BOTTOM ) );
kb.addSubClass( c, oneOf( a ) );
kb.addObjectProperty( r );
kb.addReflexiveProperty( r );