diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 19:13:25 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 19:13:25 +0000 |
commit | 1efc189e90240c162b54cbc50362b46786643dad (patch) | |
tree | 9beabe0a2af7ba1674aea0060787782aa72e8a83 /src/test | |
parent | a45aeff72b82bbc9a52f10929bf15b414c868525 (diff) | |
download | RSAComb-1efc189e90240c162b54cbc50362b46786643dad.tar.gz RSAComb-1efc189e90240c162b54cbc50362b46786643dad.zip |
Reorganize project with Java-like folder structure
Diffstat (limited to 'src/test')
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala (renamed from src/test/scala/rsacomb/CanonicalModelSpec.scala) | 3 | ||||
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala (renamed from src/test/scala/rsacomb/FilteringProgramSpecs.scala) | 3 | ||||
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/OWLAxiomSpec.scala (renamed from src/test/scala/rsacomb/OWLAxiomSpec.scala) | 5 | ||||
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/OWLClassSpec.scala (renamed from src/test/scala/rsacomb/OWLClassSpec.scala) | 8 |
4 files changed, 13 insertions, 6 deletions
diff --git a/src/test/scala/rsacomb/CanonicalModelSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala index 06602e3..376729c 100644 --- a/src/test/scala/rsacomb/CanonicalModelSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | |||
@@ -14,7 +14,8 @@ import tech.oxfordsemantic.jrdfox.logic.expression.Variable | |||
14 | 14 | ||
15 | import scala.collection.JavaConverters._ | 15 | import scala.collection.JavaConverters._ |
16 | 16 | ||
17 | import rsacomb.util.{RDFoxHelpers, RSA} | 17 | import uk.ac.ox.cs.rsacomb.RSAOntology |
18 | import uk.ac.ox.cs.rsacomb.util.{RDFoxHelpers, RSA} | ||
18 | 19 | ||
19 | object Ontology1_CanonicalModelSpec { | 20 | object Ontology1_CanonicalModelSpec { |
20 | 21 | ||
diff --git a/src/test/scala/rsacomb/FilteringProgramSpecs.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala index 66c1cae..49abd48 100644 --- a/src/test/scala/rsacomb/FilteringProgramSpecs.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/FilteringProgramSpecs.scala | |||
@@ -14,7 +14,8 @@ import tech.oxfordsemantic.jrdfox.Prefixes | |||
14 | 14 | ||
15 | import scala.collection.JavaConverters._ | 15 | import scala.collection.JavaConverters._ |
16 | 16 | ||
17 | import rsacomb.util.RDFoxHelpers | 17 | import uk.ac.ox.cs.rsacomb.FilteringProgram |
18 | import uk.ac.ox.cs.rsacomb.util.RDFoxHelpers | ||
18 | 19 | ||
19 | object FilteringProgramSpec { | 20 | object FilteringProgramSpec { |
20 | 21 | ||
diff --git a/src/test/scala/rsacomb/OWLAxiomSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/OWLAxiomSpec.scala index 65333f5..8aee03d 100644 --- a/src/test/scala/rsacomb/OWLAxiomSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/OWLAxiomSpec.scala | |||
@@ -36,7 +36,8 @@ import tech.oxfordsemantic.jrdfox.logic.expression.{ | |||
36 | import org.semanticweb.owlapi.model.{IRI => OWLIRI} | 36 | import org.semanticweb.owlapi.model.{IRI => OWLIRI} |
37 | import tech.oxfordsemantic.jrdfox.logic.expression.{IRI => RDFIRI} | 37 | import tech.oxfordsemantic.jrdfox.logic.expression.{IRI => RDFIRI} |
38 | 38 | ||
39 | import rsacomb.util.RSA | 39 | import uk.ac.ox.cs.rsacomb.converter.{RDFoxAxiomConverter, SkolemStrategy} |
40 | import uk.ac.ox.cs.rsacomb.util.RSA | ||
40 | 41 | ||
41 | object OWLAxiomSpec { | 42 | object OWLAxiomSpec { |
42 | 43 | ||
@@ -183,7 +184,7 @@ class OWLAxiomSpec extends AnyFlatSpec with Matchers with LoneElement { | |||
183 | // Import required data | 184 | // Import required data |
184 | import OWLAxiomSpec._ | 185 | import OWLAxiomSpec._ |
185 | // Implicit convertion from IRI in OWLAPI to IRI in JRDFox | 186 | // Implicit convertion from IRI in OWLAPI to IRI in JRDFox |
186 | import rsacomb.implicits.RDFox._ | 187 | import uk.ac.ox.cs.rsacomb.implicits.RDFox._ |
187 | 188 | ||
188 | // OWLSubClassOfAxiom #1 | 189 | // OWLSubClassOfAxiom #1 |
189 | axiom_OWLSubClassOf1.toString should "be converted into a singleton List[Rule]" in { | 190 | axiom_OWLSubClassOf1.toString should "be converted into a singleton List[Rule]" in { |
diff --git a/src/test/scala/rsacomb/OWLClassSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/OWLClassSpec.scala index 27e0872..459fe21 100644 --- a/src/test/scala/rsacomb/OWLClassSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/OWLClassSpec.scala | |||
@@ -33,8 +33,12 @@ import tech.oxfordsemantic.jrdfox.logic.expression.{ | |||
33 | Literal | 33 | Literal |
34 | } | 34 | } |
35 | 35 | ||
36 | import rsacomb.RDFoxRuleShards | 36 | import uk.ac.ox.cs.rsacomb.converter.{ |
37 | import rsacomb.util.RSA | 37 | RDFoxRuleShards, |
38 | RDFoxClassExprConverter, | ||
39 | SkolemStrategy | ||
40 | } | ||
41 | import uk.ac.ox.cs.rsacomb.util.RSA | ||
38 | 42 | ||
39 | object OWLClassSpec { | 43 | object OWLClassSpec { |
40 | 44 | ||