Mercurial > code > home > repos > homeauto
diff service/mqtt_to_rdf/inference_test.py @ 1593:b0df43d5494c
big rewrite- more classes, smaller methods, more typesafe, all current tests passing
| author | drewp@bigasterisk.com |
|---|---|
| date | Sat, 04 Sep 2021 23:23:55 -0700 |
| parents | 327202020892 |
| children | e58bcfa66093 |
line wrap: on
line diff
--- a/service/mqtt_to_rdf/inference_test.py Sat Sep 04 23:18:44 2021 -0700 +++ b/service/mqtt_to_rdf/inference_test.py Sat Sep 04 23:23:55 2021 -0700 @@ -201,6 +201,10 @@ self.assertGraphEqual(inf.infer(N3(":a :b 5 .")), N3("")) self.assertGraphEqual(inf.infer(N3(":a :b 6 .")), N3(":new :stmt 6 .")) + def testNonFiringMathRule(self): + inf = makeInferenceWithRules("{ :a :b ?x . (?x 1) math:sum ?y } => { :new :stmt ?y } .") + self.assertGraphEqual(inf.infer(N3("")), N3("")) + def testStatementGeneratingRule(self): inf = makeInferenceWithRules("{ :a :b ?x . (?x 1) math:sum ?y } => { :new :stmt ?y } .") self.assertGraphEqual(inf.infer(N3(":a :b 3 .")), N3(":new :stmt 4 ."))