diff options
Diffstat (limited to 'src/test/scala/uk/ac/ox/cs')
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | 6 | ||||
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala | 2 | ||||
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/converter/OWLAxiomSpec.scala (renamed from src/test/scala/uk/ac/ox/cs/rsacomb/OWLAxiomSpec.scala) | 2 | ||||
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/converter/OWLClassSpec.scala (renamed from src/test/scala/uk/ac/ox/cs/rsacomb/OWLClassSpec.scala) | 2 | ||||
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverterSpec.scala (renamed from src/test/scala/uk/ac/ox/cs/rsacomb/RDFoxConverterSpec.scala) | 2 |
5 files changed, 7 insertions, 7 deletions
diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala index a7d7f27..0d18e66 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | |||
@@ -1,4 +1,4 @@ | |||
1 | package rsacomb | 1 | package uk.ac.ox.cs.rsacomb |
2 | 2 | ||
3 | import java.io.File | 3 | import java.io.File |
4 | import org.scalatest.LoneElement | 4 | import org.scalatest.LoneElement |
@@ -218,13 +218,13 @@ class Ontology1_CanonicalModelSpec | |||
218 | 218 | ||
219 | renderer.render( | 219 | renderer.render( |
220 | SsubPropertyOfT | 220 | SsubPropertyOfT |
221 | ) should "produce 2 rules" in { | 221 | ) should "produce 3 rules" in { |
222 | val term = Variable.create("X") | 222 | val term = Variable.create("X") |
223 | val unsafe = ontology.unsafeRoles | 223 | val unsafe = ontology.unsafeRoles |
224 | val (facts, rules) = | 224 | val (facts, rules) = |
225 | converter.convert(SsubPropertyOfT, term, unsafe, NoSkolem, Empty) | 225 | converter.convert(SsubPropertyOfT, term, unsafe, NoSkolem, Empty) |
226 | facts shouldBe empty | 226 | facts shouldBe empty |
227 | rules should have length 2 | 227 | rules should have length 3 |
228 | } | 228 | } |
229 | 229 | ||
230 | } | 230 | } |
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 93e312c..e627bf7 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala | |||
@@ -1,4 +1,4 @@ | |||
1 | package rsacomb | 1 | package uk.ac.ox.cs.rsacomb |
2 | 2 | ||
3 | import org.scalatest.flatspec.AnyFlatSpec | 3 | import org.scalatest.flatspec.AnyFlatSpec |
4 | import org.scalatest.matchers.should.Matchers | 4 | import org.scalatest.matchers.should.Matchers |
diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/OWLAxiomSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/converter/OWLAxiomSpec.scala index e1ece62..eb49c7d 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/OWLAxiomSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/converter/OWLAxiomSpec.scala | |||
@@ -1,4 +1,4 @@ | |||
1 | package rsacomb | 1 | package uk.ac.ox.cs.rsacomb.converter |
2 | 2 | ||
3 | import java.util.{ArrayList => JList} | 3 | import java.util.{ArrayList => JList} |
4 | import org.scalatest.LoneElement | 4 | import org.scalatest.LoneElement |
diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/OWLClassSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/converter/OWLClassSpec.scala index def864b..09ab6eb 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/OWLClassSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/converter/OWLClassSpec.scala | |||
@@ -1,4 +1,4 @@ | |||
1 | package rsacomb | 1 | package uk.ox.ac.cs.rsacomb.converter |
2 | 2 | ||
3 | import java.util.{ArrayList => JList} | 3 | import java.util.{ArrayList => JList} |
4 | 4 | ||
diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/RDFoxConverterSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverterSpec.scala index 5c9fa96..a401abf 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/RDFoxConverterSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverterSpec.scala | |||
@@ -1,4 +1,4 @@ | |||
1 | package rsacomb | 1 | package uk.ac.ox.cs.rsacomb.converter |
2 | 2 | ||
3 | import org.scalatest.LoneElement | 3 | import org.scalatest.LoneElement |
4 | import org.scalatest.flatspec.AnyFlatSpec | 4 | import org.scalatest.flatspec.AnyFlatSpec |