aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSA.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-05 20:00:34 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-05 20:00:34 +0000
commit360675d5b659ba8e9e5fe83dfa038d27f962b4de (patch)
tree38e21ad6270da7c85f1d0069ced18dd9aea12045 /src/main/scala/rsacomb/RSA.scala
parent6df3ffe815a5ea65da92e818c1eb48fca13bc5ce (diff)
downloadRSAComb-360675d5b659ba8e9e5fe83dfa038d27f962b4de.tar.gz
RSAComb-360675d5b659ba8e9e5fe83dfa038d27f962b4de.zip
Update code to RDFox v4.0
Diffstat (limited to 'src/main/scala/rsacomb/RSA.scala')
-rw-r--r--src/main/scala/rsacomb/RSA.scala10
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
6 6
7import tech.oxfordsemantic.jrdfox.formats.SPARQLParser 7import tech.oxfordsemantic.jrdfox.formats.SPARQLParser
8import tech.oxfordsemantic.jrdfox.Prefixes 8import tech.oxfordsemantic.jrdfox.Prefixes
9import tech.oxfordsemantic.jrdfox.logic.IRI 9import tech.oxfordsemantic.jrdfox.logic.expression.{Variable, IRI}
10import org.semanticweb.owlapi.apibinding.OWLManager 10import org.semanticweb.owlapi.apibinding.OWLManager
11import org.semanticweb.owlapi.model.OWLOntology 11import org.semanticweb.owlapi.model.OWLOntology
12import rsacomb.RSAOntology 12import rsacomb.RSAOntology
13 13
14// Debug only 14// Debug only
15import tech.oxfordsemantic.jrdfox.logic.{
16 Formula,
17 Atom,
18 Variable,
19 Query,
20 QueryType,
21 Conjunction
22}
23import scala.collection.JavaConverters._ 15import scala.collection.JavaConverters._
24 16
25object RSA extends RSAOntology { 17object RSA extends RSAOntology {