4 files changed, 13 insertions, 3 deletions

diff --git a/build.sbt b/build.sbt
index 0603da9..7ea29a9 100644
--- a/build.sbt
+++ b/build.sbt
@@ -41,6 +41,13 @@ lazy val root = (project in file("."))
     )
   )
 
+/** Execute all tests sequentially
+  *
+  * This is not ideal but it is an easy way to avoid bad interactions
+  * with RDFox.
+  */
+parallelExecution in Test := false
+
 /** Exclude RDFox from the building process
   *
   * @see https://github.com/sbt/sbt-assembly#excluding-jars-and-files
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala
index 2f48798..505937b 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala
@@ -271,7 +271,6 @@ trait RDFoxConverter {
           }
         val head = convert(a.getSuperProperty, term, term1, suffix)(fresh)
         val rule = Rule.create(head, body)
-        println(rule)
         ResultR(List(rule))
       }
 
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
 import uk.ac.ox.cs.rsacomb.ontology.Ontology
 import uk.ac.ox.cs.rsacomb.converter.{SkolemStrategy, NoSkolem}
 import uk.ac.ox.cs.rsacomb.suffix.Empty
-import uk.ac.ox.cs.rsacomb.util.{RDFoxUtil, RSA}
+import uk.ac.ox.cs.rsacomb.util.{Logger, RDFoxUtil, RSA}
 
 object Ontology1_CanonicalModelSpec {
 
+  Logger.level = Logger.QUIET
+
   /* Renderer to display OWL Axioms with DL syntax*/
   val renderer = new DLSyntaxObjectRenderer()
 
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
 import uk.ac.ox.cs.rsacomb.ontology.Ontology
 import uk.ac.ox.cs.rsacomb.approximation.Upperbound
 import uk.ac.ox.cs.rsacomb.converter.Normalizer
-import uk.ac.ox.cs.rsacomb.util.RDFoxUtil
+import uk.ac.ox.cs.rsacomb.util.{Logger, RDFoxUtil}
 
 class LUBM extends AnyFunSpec with Matchers {
 
+  Logger.level = Logger.QUIET
+
   private val test = os.pwd / "tests" / "lubm"
 
   /* Approximation algorithms */