diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-01-30 10:59:38 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-01-30 10:59:38 +0000 |
| commit | 7d6021c6c706c108b5b11d52071acd104c7d4ff8 (patch) | |
| tree | 573146018eba8bc1cc16bc4b39edcab7c2c53ace /src/test | |
| parent | d04e2839689c4291afb4beb9a1913bb38fac1cd1 (diff) | |
| download | RSAComb-7d6021c6c706c108b5b11d52071acd104c7d4ff8.tar.gz RSAComb-7d6021c6c706c108b5b11d52071acd104c7d4ff8.zip | |
Delay import of data files (#7)
This should partially solve the issue with data import through OWLAPI
being too slow.
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala index e627bf7..32ef8da 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala | |||
| @@ -67,29 +67,25 @@ class FilteringProgramSpec extends AnyFlatSpec with Matchers { | |||
| 67 | 67 | ||
| 68 | "CQ 0" should "generate 27 rules and 3 facts" in { | 68 | "CQ 0" should "generate 27 rules and 3 facts" in { |
| 69 | val cq = ConjunctiveQuery.parse(cq0).get | 69 | val cq = ConjunctiveQuery.parse(cq0).get |
| 70 | val filter = FilteringProgram(cq, constants) | 70 | val filter = FilteringProgram(cq) |
| 71 | filter.facts should have length 3 | ||
| 72 | filter.rules should have length 27 | 71 | filter.rules should have length 27 |
| 73 | } | 72 | } |
| 74 | 73 | ||
| 75 | "CQ 1" should "generate 15 rules" in { | 74 | "CQ 1" should "generate 15 rules" in { |
| 76 | val cq = ConjunctiveQuery.parse(cq1).get | 75 | val cq = ConjunctiveQuery.parse(cq1).get |
| 77 | val filter = FilteringProgram(cq, List()) | 76 | val filter = FilteringProgram(cq) |
| 78 | filter.facts shouldBe empty | ||
| 79 | filter.rules should have length 15 | 77 | filter.rules should have length 15 |
| 80 | } | 78 | } |
| 81 | 79 | ||
| 82 | "CQ 2" should "generate 51 rules" in { | 80 | "CQ 2" should "generate 51 rules" in { |
| 83 | val cq = ConjunctiveQuery.parse(cq2).get | 81 | val cq = ConjunctiveQuery.parse(cq2).get |
| 84 | val filter = FilteringProgram(cq, List()) | 82 | val filter = FilteringProgram(cq) |
| 85 | filter.facts shouldBe empty | ||
| 86 | filter.rules should have length 51 | 83 | filter.rules should have length 51 |
| 87 | } | 84 | } |
| 88 | 85 | ||
| 89 | "BCQ 0" should "generate 46 rules" in { | 86 | "BCQ 0" should "generate 46 rules" in { |
| 90 | val cq = ConjunctiveQuery.parse(bcq0).get | 87 | val cq = ConjunctiveQuery.parse(bcq0).get |
| 91 | val filter = FilteringProgram(cq, constants) | 88 | val filter = FilteringProgram(cq) |
| 92 | filter.facts should have length 3 | ||
| 93 | filter.rules should have length 43 | 89 | filter.rules should have length 43 |
| 94 | } | 90 | } |
| 95 | 91 | ||