Update code to RDFox v4.0

1 files changed, 1 insertions, 9 deletions

diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index 01982fc..a6f4b88 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -6,20 +6,12 @@ import java.util.Map
 
 import tech.oxfordsemantic.jrdfox.formats.SPARQLParser
 import tech.oxfordsemantic.jrdfox.Prefixes
-import tech.oxfordsemantic.jrdfox.logic.IRI
+import tech.oxfordsemantic.jrdfox.logic.expression.{Variable, IRI}
 import org.semanticweb.owlapi.apibinding.OWLManager
 import org.semanticweb.owlapi.model.OWLOntology
 import rsacomb.RSAOntology
 
 // Debug only
-import tech.oxfordsemantic.jrdfox.logic.{
-  Formula,
-  Atom,
-  Variable,
-  Query,
-  QueryType,
-  Conjunction
-}
 import scala.collection.JavaConverters._
 
 object RSA extends RSAOntology {