From 360675d5b659ba8e9e5fe83dfa038d27f962b4de Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Thu, 5 Nov 2020 20:00:34 +0000 Subject: Update code to RDFox v4.0 --- src/main/scala/rsacomb/RSA.scala | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) (limited to 'src/main/scala/rsacomb/RSA.scala') 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 { -- cgit v1.2.3