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 | 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} |
