aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/uk/ac/ox
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/scala/uk/ac/ox')
-rw-r--r--src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala4
-rw-r--r--src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala4
2 files changed, 6 insertions, 2 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 54fcf64..69363ff 100644
--- a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala
+++ b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala
@@ -35,10 +35,12 @@ import uk.ac.ox.cs.rsacomb.approximation.Lowerbound
35import uk.ac.ox.cs.rsacomb.ontology.Ontology 35import uk.ac.ox.cs.rsacomb.ontology.Ontology
36import uk.ac.ox.cs.rsacomb.converter.{SkolemStrategy, NoSkolem} 36import uk.ac.ox.cs.rsacomb.converter.{SkolemStrategy, NoSkolem}
37import uk.ac.ox.cs.rsacomb.suffix.Empty 37import uk.ac.ox.cs.rsacomb.suffix.Empty
38import uk.ac.ox.cs.rsacomb.util.{RDFoxUtil, RSA} 38import uk.ac.ox.cs.rsacomb.util.{Logger, RDFoxUtil, RSA}
39 39
40object Ontology1_CanonicalModelSpec { 40object Ontology1_CanonicalModelSpec {
41 41
42 Logger.level = Logger.QUIET
43
42 /* Renderer to display OWL Axioms with DL syntax*/ 44 /* Renderer to display OWL Axioms with DL syntax*/
43 val renderer = new DLSyntaxObjectRenderer() 45 val renderer = new DLSyntaxObjectRenderer()
44 46
diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala
index abede60..5872de1 100644
--- a/src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala
+++ b/src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala
@@ -7,10 +7,12 @@ import org.scalatest.tagobjects.Slow
7import uk.ac.ox.cs.rsacomb.ontology.Ontology 7import uk.ac.ox.cs.rsacomb.ontology.Ontology
8import uk.ac.ox.cs.rsacomb.approximation.Upperbound 8import uk.ac.ox.cs.rsacomb.approximation.Upperbound
9import uk.ac.ox.cs.rsacomb.converter.Normalizer 9import uk.ac.ox.cs.rsacomb.converter.Normalizer
10import uk.ac.ox.cs.rsacomb.util.RDFoxUtil 10import uk.ac.ox.cs.rsacomb.util.{Logger, RDFoxUtil}
11 11
12class LUBM extends AnyFunSpec with Matchers { 12class LUBM extends AnyFunSpec with Matchers {
13 13
14 Logger.level = Logger.QUIET
15
14 private val test = os.pwd / "tests" / "lubm" 16 private val test = os.pwd / "tests" / "lubm"
15 17
16 /* Approximation algorithms */ 18 /* Approximation algorithms */