diff options
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 { |