@Test public void ruleBuiltinTest2() throws Exception { final OWLAxiom[] axioms = { OWL.classAssertion(_a, _A), OWL.propertyAssertion(_a, dp, OWL.constant(9)), SWRL.rule(SWRL.antecedent(SWRL.classAtom(_A, _x), SWRL.propertyAtom(dp, _x, _dx), SWRL.greaterThan(_dx, SWRL.constant(5)), SWRL.lessThan(_dx, SWRL.constant(10))), SWRL.consequent(SWRL.classAtom(_B, _x))) }; setupGenerators(Stream.of(axioms)); testExplanations(OWL.classAssertion(_a, _B), 0, axioms); }
SWRL.greaterThan(varX, SWRL.constant(11.))), // SWRL.consequent(SWRL.propertyAtom(dpB, swrlIndA, sup))));
SWRL.greaterThan(varX, SWRL.constant(11.))), // SWRL.consequent(SWRL.propertyAtom(dpB, swrlIndA, sup))));
SWRL.greaterThan(varX, varY)), // SWRL.consequent(SWRL.propertyAtom(dpB, swrlIndA, sup))));
SWRL.greaterThan(varX, varY)), // SWRL.consequent(SWRL.propertyAtom(dpB, swrlIndA, sup))));