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/scala | |
| parent | a45aeff72b82bbc9a52f10929bf15b414c868525 (diff) | |
| download | RSAComb-1efc189e90240c162b54cbc50362b46786643dad.tar.gz RSAComb-1efc189e90240c162b54cbc50362b46786643dad.zip | |
Reorganize project with Java-like folder structure
Diffstat (limited to 'src/test/scala')
| -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 | ||
