objectProperties( p, q );
individuals( a, b, c );
kb.addPropertyValue( p, a, b );
Query q1 = query( select( x ),
where( TypeAtom( x, TOP ),
NotKnownAtom( PropertyValueAtom( x, p, y ) ),
NotKnownAtom( PropertyValueAtom( x, q, z ) ) ) );
testQuery( q1, new ATermAppl[][] { { b }, { c } } );
Query q2 = query( select( x ),
where( TypeAtom( x, TOP ),
NotKnownAtom( PropertyValueAtom( x, p, y ),
PropertyValueAtom( x, q, z ) ) ) );
testQuery( q2, new ATermAppl[][] { { a }, { b }, { c } } );