}else if(op.equals(Formulae.OP_EQ)){
if(logicalValue == true){
formulaCertainty = getMinCF(((SetValue)attributeValue).getValues());
}
else{
SetValue diff = getDifference(at, v, wm);
formulaCertainty = -sim(at,diff, wm);
}
}else if(op.equals(Formulae.OP_NEQ)){
if(logicalValue == true){
SetValue diff = getDifference(at, v, wm);
formulaCertainty = sim(at,diff, wm);
}
else{
formulaCertainty = -getMinCF(((SetValue)attributeValue).getValues());
}
}else if(op.equals(Formulae.OP_SUPSET)){
if(logicalValue == true){
//return the weakest chain element that makes it superset
SetValue intersection = (SetValue) attributeValue.intersect( v,at.getType());
formulaCertainty = getMinCF(intersection.getValues());
}else{
SetValue comp = getComplement(at, v, wm);
SetValue intersect = (SetValue) attributeValue.intersect( comp,at.getType());
// return how the {Domain\value} is similar to the attribute value
formulaCertainty = -sim(at,intersect, wm);
}
}else if(op.equals(Formulae.OP_SUBSET)){
if(logicalValue == true){
formulaCertainty = getMinCF(((SetValue)attributeValue).getValues());
}else{
SetValue comp = getComplement(at, v, wm);
SetValue intersect = (SetValue) attributeValue.intersect( comp,at.getType());
// return how the {Domain\value} is similar to the attribute value
formulaCertainty = -sim(at,intersect, wm);
}
}