1 files changed, 5 insertions, 11 deletions

diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/OWLAxiomSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/OWLAxiomSpec.scala
index d39dec7..e1ece62 100644
--- a/src/test/scala/uk/ac/ox/cs/rsacomb/OWLAxiomSpec.scala
+++ b/src/test/scala/uk/ac/ox/cs/rsacomb/OWLAxiomSpec.scala
@@ -36,13 +36,7 @@ import tech.oxfordsemantic.jrdfox.logic.expression.{
 import org.semanticweb.owlapi.model.{IRI => OWLIRI}
 import tech.oxfordsemantic.jrdfox.logic.expression.{IRI => RDFIRI}
 
-import uk.ac.ox.cs.rsacomb.converter.{
-  RDFoxAxiomConverter,
-  SkolemStrategy,
-  NoSkolem,
-  Standard,
-  Constant
-}
+import uk.ac.ox.cs.rsacomb.converter._
 import uk.ac.ox.cs.rsacomb.util.RSA
 
 object OWLAxiomSpec {
@@ -216,13 +210,13 @@ class OWLAxiomSpec extends AnyFlatSpec with Matchers with LoneElement {
   // OWLSubClassOfAxiom #2 (w/ constant skolemization)
   (axiom_OWLSubClassOf2.toString + "\n(w/ constant skolemization)") should
     "be converted into a singleton List[Rule]" in {
-      val skolem = Constant(axiom_OWLSubClassOf2.toString)
+      val skolem = Constant(axiom_OWLSubClassOf2)
       val result = convertAxiom(axiom_OWLSubClassOf2, term_x, skolem)
       result.loneElement shouldBe a[Rule]
     }
 
   it should "contain a single atom (Student[?x]) in the body of the rule" in {
-    val skolem = Constant(axiom_OWLSubClassOf2.toString)
+    val skolem = Constant(axiom_OWLSubClassOf2)
     val result = convertAxiom(axiom_OWLSubClassOf2, term_x, skolem)
     val body =
       TupleTableAtom.rdf(term_x, RDFIRI.RDF_TYPE, iri_Student.getIRIString)
@@ -243,13 +237,13 @@ class OWLAxiomSpec extends AnyFlatSpec with Matchers with LoneElement {
   // OWLSubClassOfAxiom #2 (w/ skolemization)
   (axiom_OWLSubClassOf2.toString + "\n(w/ skolemization)") should
     "be converted into a singleton List[Rule]" in {
-      val skolem = Standard(axiom_OWLSubClassOf2.toString)
+      val skolem = Standard(axiom_OWLSubClassOf2)
       val result = convertAxiom(axiom_OWLSubClassOf2, term_x, skolem)
       result.loneElement shouldBe a[Rule]
     }
 
   it should "contain an atom (Student[?x]) in the body of the rule" in {
-    val skolem = Standard(axiom_OWLSubClassOf2.toString)
+    val skolem = Standard(axiom_OWLSubClassOf2)
     val result = convertAxiom(axiom_OWLSubClassOf2, term_x, skolem)
     val body =
       TupleTableAtom.rdf(term_x, RDFIRI.RDF_TYPE, iri_Student)