// InverseFunctional(p)
else if( obj.equals( OWL.InverseFunctionalProperty.asNode() ) ) {
query.add( QueryAtomFactory.InverseFunctionalAtom( s ) );
if( ATermUtils.isVar( s ) ) {
ensureDistinguished( subj );
query.addDistVar( s, VarType.PROPERTY );
if( handleVariableSPO ) {
variablePredicates.remove( s );
variableSubjects.add( s );
}
}