kb.addPropertyValue(r, b, c);
ATermAppl t = TermFactory.literal("t");
ATermAppl f = TermFactory.literal("f");
AtomIVariable x = new AtomIVariable("x");
AtomDVariable y = new AtomDVariable("y");
List<RuleAtom> body = Arrays.<RuleAtom> asList(new ClassAtom(A, x),
new DatavaluedPropertyAtom(p, new AtomIConstant(b), y),
new BuiltInAtom(SWRLB + "equal", y, new AtomDConstant(TermFactory.literal(true))));