diff options
Diffstat (limited to 'src/test/scala')
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | 2 |
1 files changed, 1 insertions, 1 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 69363ff..32f7d9b 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | |||
@@ -30,7 +30,7 @@ import tech.oxfordsemantic.jrdfox.logic.expression.Variable | |||
30 | 30 | ||
31 | import scala.collection.JavaConverters._ | 31 | import scala.collection.JavaConverters._ |
32 | 32 | ||
33 | import uk.ac.ox.cs.rsacomb.RSAOntology | 33 | import uk.ac.ox.cs.rsacomb.ontology.RSAOntology |
34 | import uk.ac.ox.cs.rsacomb.approximation.Lowerbound | 34 | import uk.ac.ox.cs.rsacomb.approximation.Lowerbound |
35 | import uk.ac.ox.cs.rsacomb.ontology.Ontology | 35 | import uk.ac.ox.cs.rsacomb.ontology.Ontology |
36 | import uk.ac.ox.cs.rsacomb.converter.{SkolemStrategy, NoSkolem} | 36 | import uk.ac.ox.cs.rsacomb.converter.{SkolemStrategy, NoSkolem} |