diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-19 15:03:05 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-19 15:21:29 +0100 |
| commit | 41e3b3b42e4dc891aaf5fca9f87e9c9cb9325011 (patch) | |
| tree | 285398907f2bfc2b9cf6b319248047eed4b13bab /src/test/scala/uk | |
| parent | 24fd3ba575e4857eead4fc33d728a2938746d7ef (diff) | |
| download | RSAComb-41e3b3b42e4dc891aaf5fca9f87e9c9cb9325011.tar.gz RSAComb-41e3b3b42e4dc891aaf5fca9f87e9c9cb9325011.zip | |
refactor: move RSAOntology class under ontology package
Diffstat (limited to 'src/test/scala/uk')
| -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} |