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 | 4 | ||||
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala | 4 |
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 | |||
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} |
37 | import uk.ac.ox.cs.rsacomb.suffix.Empty | 37 | import uk.ac.ox.cs.rsacomb.suffix.Empty |
38 | import uk.ac.ox.cs.rsacomb.util.{RDFoxUtil, RSA} | 38 | import uk.ac.ox.cs.rsacomb.util.{Logger, RDFoxUtil, RSA} |
39 | 39 | ||
40 | object Ontology1_CanonicalModelSpec { | 40 | object 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 | |||
7 | import uk.ac.ox.cs.rsacomb.ontology.Ontology | 7 | import uk.ac.ox.cs.rsacomb.ontology.Ontology |
8 | import uk.ac.ox.cs.rsacomb.approximation.Upperbound | 8 | import uk.ac.ox.cs.rsacomb.approximation.Upperbound |
9 | import uk.ac.ox.cs.rsacomb.converter.Normalizer | 9 | import uk.ac.ox.cs.rsacomb.converter.Normalizer |
10 | import uk.ac.ox.cs.rsacomb.util.RDFoxUtil | 10 | import uk.ac.ox.cs.rsacomb.util.{Logger, RDFoxUtil} |
11 | 11 | ||
12 | class LUBM extends AnyFunSpec with Matchers { | 12 | class 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 */ |