kb.addType( p2a, male );
AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" ), z = new AtomIVariable(
"z" );
kb.addRule( new Rule( Arrays.asList( new RuleAtom[] { new IndividualPropertyAtom( hasUncle,
y, z ) } ), Arrays.asList( new RuleAtom[] {
new IndividualPropertyAtom( hasParent, y, x ), new ClassAtom( male, z ),
new IndividualPropertyAtom( hasSibling, x, z ), } ) ) );
assertIteratorValues( kb.getObjectPropertyValues( hasUncle, c11 ).iterator(),