From 41e3b3b42e4dc891aaf5fca9f87e9c9cb9325011 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Thu, 19 May 2022 15:03:05 +0100 Subject: refactor: move RSAOntology class under ontology package --- src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala') 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 69363ff..32f7d9b 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala @@ -30,7 +30,7 @@ import tech.oxfordsemantic.jrdfox.logic.expression.Variable import scala.collection.JavaConverters._ -import uk.ac.ox.cs.rsacomb.RSAOntology +import uk.ac.ox.cs.rsacomb.ontology.RSAOntology 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} -- cgit v1.2.3