Mercurial > code > home > repos > homeauto

annotate service/mqtt_to_rdf/inference/stmt_chunk_test.py @ 1727:23e6154e6c11

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
file moves
author drewp@bigasterisk.com
date Tue, 20 Jun 2023 23:26:24 -0700
parents service/mqtt_to_rdf/stmt_chunk_test.py@e6d28e6d47b2
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1655
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
1 import unittest
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
2
1670
6fa7ddee9ba8 update stmt_chunk_test
drewp@bigasterisk.com
parents: 1661
diff changeset
3 from rdflib import Namespace, Variable
1655
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
4
1727
23e6154e6c11 file moves
drewp@bigasterisk.com
parents: 1676
diff changeset
5 from inference.candidate_binding import CandidateBinding
23e6154e6c11 file moves
drewp@bigasterisk.com
parents: 1676
diff changeset
6 from inference.inference_test import N3
23e6154e6c11 file moves
drewp@bigasterisk.com
parents: 1676
diff changeset
7 from inference.inference_types import WorkingSetBnode
23e6154e6c11 file moves
drewp@bigasterisk.com
parents: 1676
diff changeset
8 from inference.lhs_evaluation import functionsFor
23e6154e6c11 file moves
drewp@bigasterisk.com
parents: 1676
diff changeset
9 from inference.stmt_chunk import (AlignedRuleChunk, Chunk, ChunkedGraph, applyChunky)
1655
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
10
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
11 ROOM = Namespace('http://projects.bigasterisk.com/room/')
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
12
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
13
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
14 class TestChunkedGraph(unittest.TestCase):
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
15
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
16 def testMakesSimpleChunks(self):
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
17 cg = ChunkedGraph(N3(':a :b :c .'), WorkingSetBnode, functionsFor)
1655
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
18
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
19 self.assertSetEqual(cg.chunksUsedByFuncs, set())
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
20 self.assertSetEqual(cg.patternChunks, set())
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
21 self.assertSetEqual(cg.staticChunks, set([Chunk((ROOM.a, ROOM.b, ROOM.c), subjList=None, objList=None)]))
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
22
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
23 def testSeparatesPatternChunks(self):
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
24 cg = ChunkedGraph(N3('?x :b :c . :a ?y :c . :a :b ?z .'), WorkingSetBnode, functionsFor)
1655
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
25 self.assertEqual(len(cg.patternChunks), 3)
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
26
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
27 def testBoolMeansEmpty(self):
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
28 self.assertTrue(ChunkedGraph(N3(":a :b :c ."), WorkingSetBnode, functionsFor))
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
29 self.assertFalse(ChunkedGraph(N3(""), WorkingSetBnode, functionsFor))
1655
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
30
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
31 def testContains(self):
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
32 # If I write with assertIn, there's a seemingly bogus pytype error.
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
33 self.assert_(Chunk((ROOM.a, ROOM.b, ROOM.c)) in ChunkedGraph(N3(":a :b :c ."), WorkingSetBnode, functionsFor))
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
34 self.assert_(Chunk((ROOM.a, ROOM.b, ROOM.zzz)) not in ChunkedGraph(N3(":a :b :c ."), WorkingSetBnode, functionsFor))
1655
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
35
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
36 def testNoPredicatesAppear(self):
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
37 cg = ChunkedGraph(N3(":a :b :c ."), WorkingSetBnode, functionsFor)
1655
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
38 self.assertTrue(cg.noPredicatesAppear([ROOM.d, ROOM.e]))
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
39 self.assertFalse(cg.noPredicatesAppear([ROOM.b, ROOM.d]))
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
40
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
41
1659
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
42 class TestListCollection(unittest.TestCase):
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
43
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
44 def testSubjList(self):
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
45 cg = ChunkedGraph(N3('(:u :v) :b :c .'), WorkingSetBnode, functionsFor)
1659
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
46 expected = Chunk((None, ROOM.b, ROOM.c), subjList=[ROOM.u, ROOM.v])
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
47 self.assertEqual(cg.staticChunks, set([expected]))
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
48
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
49 def testObjList(self):
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
50 cg = ChunkedGraph(N3(':a :b (:u :v) .'), WorkingSetBnode, functionsFor)
1659
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
51 expected = Chunk((ROOM.a, ROOM.b, None), objList=[ROOM.u, ROOM.v])
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
52 self.assertSetEqual(cg.staticChunks, set([expected]))
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
53
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
54 def testVariableInListMakesAPatternChunk(self):
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
55 cg = ChunkedGraph(N3(':a :b (?x :v) .'), WorkingSetBnode, functionsFor)
1659
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
56 expected = Chunk((ROOM.a, ROOM.b, None), objList=[Variable('x'), ROOM.v])
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
57 self.assertSetEqual(cg.patternChunks, set([expected]))
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
58
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
59 def testListUsedTwice(self):
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
60 cg = ChunkedGraph(N3('(:u :v) :b :c, :d .'), WorkingSetBnode, functionsFor)
1659
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
61
1727
23e6154e6c11 file moves
drewp@bigasterisk.com
parents: 1676
diff changeset
62 self.assertSetEqual(cg.staticChunks,
23e6154e6c11 file moves
drewp@bigasterisk.com
parents: 1676
diff changeset
63 set([Chunk((None, ROOM.b, ROOM.c), subjList=[ROOM.u, ROOM.v]),
23e6154e6c11 file moves
drewp@bigasterisk.com
parents: 1676
diff changeset
64 Chunk((None, ROOM.b, ROOM.d), subjList=[ROOM.u, ROOM.v])]))
1659
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
65
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
66 def testUnusedListFragment(self):
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
67 cg = ChunkedGraph(N3(':a rdf:first :b .'), WorkingSetBnode, functionsFor)
1659
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
68 self.assertFalse(cg)
15e84c71beee parse lists from graph into the Chunks
drewp@bigasterisk.com
parents: 1655
diff changeset
69
1661
00a5624d1d14 cleanups and optimizations
drewp@bigasterisk.com
parents: 1659
diff changeset
70
1655
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
71 class TestApplyChunky(unittest.TestCase):
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
72 binding = CandidateBinding({Variable('x'): ROOM.xval})
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
73
1670
6fa7ddee9ba8 update stmt_chunk_test
drewp@bigasterisk.com
parents: 1661
diff changeset
74 def testAllStatements(self):
6fa7ddee9ba8 update stmt_chunk_test
drewp@bigasterisk.com
parents: 1661
diff changeset
75 rule0 = Chunk((ROOM.a, Variable('pred'), Variable('x')))
6fa7ddee9ba8 update stmt_chunk_test
drewp@bigasterisk.com
parents: 1661
diff changeset
76 rule1 = Chunk((ROOM.a, Variable('pred'), Variable('x')))
1655
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
77 ret = list(
15e195fb24bb new stmt_chunk_test
drewp@bigasterisk.com
parents:
diff changeset
78 applyChunky(self.binding,
1670
6fa7ddee9ba8 update stmt_chunk_test
drewp@bigasterisk.com
parents: 1661
diff changeset
79 g=[
1676
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
80 AlignedRuleChunk(ruleChunk=rule0, workingSetChunk=Chunk((ROOM.a, ROOM.b, ROOM.xval))),
e6d28e6d47b2 update stmt_chunk_test for new bnode subtypes
drewp@bigasterisk.com
parents: 1670
diff changeset
81 AlignedRuleChunk(ruleChunk=rule1, workingSetChunk=Chunk((ROOM.a, ROOM.b, ROOM.yval))),
1670
6fa7ddee9ba8 update stmt_chunk_test
drewp@bigasterisk.com
parents: 1661
diff changeset
82 ]))
1727
23e6154e6c11 file moves
drewp@bigasterisk.com
parents: 1676
diff changeset
83 self.assertCountEqual(ret,
23e6154e6c11 file moves
drewp@bigasterisk.com
parents: 1676
diff changeset
84 [AlignedRuleChunk(ruleChunk=Chunk((ROOM.a, Variable('pred'), ROOM.xval)), workingSetChunk=Chunk((ROOM.a, ROOM.b, ROOM.xval)))])