diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-05 20:00:34 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-05 20:00:34 +0000 |
commit | 360675d5b659ba8e9e5fe83dfa038d27f962b4de (patch) | |
tree | 38e21ad6270da7c85f1d0069ced18dd9aea12045 /src/main/scala/rsacomb/RSA.scala | |
parent | 6df3ffe815a5ea65da92e818c1eb48fca13bc5ce (diff) | |
download | RSAComb-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.scala | 10 |
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 | ||
7 | import tech.oxfordsemantic.jrdfox.formats.SPARQLParser | 7 | import tech.oxfordsemantic.jrdfox.formats.SPARQLParser |
8 | import tech.oxfordsemantic.jrdfox.Prefixes | 8 | import tech.oxfordsemantic.jrdfox.Prefixes |
9 | import tech.oxfordsemantic.jrdfox.logic.IRI | 9 | import tech.oxfordsemantic.jrdfox.logic.expression.{Variable, IRI} |
10 | import org.semanticweb.owlapi.apibinding.OWLManager | 10 | import org.semanticweb.owlapi.apibinding.OWLManager |
11 | import org.semanticweb.owlapi.model.OWLOntology | 11 | import org.semanticweb.owlapi.model.OWLOntology |
12 | import rsacomb.RSAOntology | 12 | import rsacomb.RSAOntology |
13 | 13 | ||
14 | // Debug only | 14 | // Debug only |
15 | import tech.oxfordsemantic.jrdfox.logic.{ | ||
16 | Formula, | ||
17 | Atom, | ||
18 | Variable, | ||
19 | Query, | ||
20 | QueryType, | ||
21 | Conjunction | ||
22 | } | ||
23 | import scala.collection.JavaConverters._ | 15 | import scala.collection.JavaConverters._ |
24 | 16 | ||
25 | object RSA extends RSAOntology { | 17 | object RSA extends RSAOntology { |