diff options
Diffstat (limited to 'src/main/scala/rsacomb/RSAAtom.scala')
-rw-r--r-- | src/main/scala/rsacomb/RSAAtom.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/main/scala/rsacomb/RSAAtom.scala b/src/main/scala/rsacomb/RSAAtom.scala index a65c168..8832226 100644 --- a/src/main/scala/rsacomb/RSAAtom.scala +++ b/src/main/scala/rsacomb/RSAAtom.scala | |||
@@ -11,7 +11,7 @@ import tech.oxfordsemantic.jrdfox.logic.expression.{IRI} | |||
11 | import scala.collection.JavaConverters._ | 11 | import scala.collection.JavaConverters._ |
12 | 12 | ||
13 | import rsacomb.suffix.{RSASuffix, Nth} | 13 | import rsacomb.suffix.{RSASuffix, Nth} |
14 | import rsacomb.RSA | 14 | import rsacomb.RSAOntology |
15 | 15 | ||
16 | /* Is this the best way to determine if an atom is an RDF triple? | 16 | /* Is this the best way to determine if an atom is an RDF triple? |
17 | * Note that we can't use `getNumberOfArguments()` because is not | 17 | * Note that we can't use `getNumberOfArguments()` because is not |
@@ -32,7 +32,7 @@ trait RSAAtom { | |||
32 | 32 | ||
33 | implicit class RSAAtom(val atom: TupleTableAtom) { | 33 | implicit class RSAAtom(val atom: TupleTableAtom) { |
34 | 34 | ||
35 | import rsacomb.RDFoxUtil.stringToRDFoxIRI | 35 | import RDFox._ |
36 | 36 | ||
37 | val name: String = atom.getTupleTableName.getName | 37 | val name: String = atom.getTupleTableName.getName |
38 | 38 | ||
@@ -74,7 +74,7 @@ trait RSAAtom { | |||
74 | if (isRDF) { | 74 | if (isRDF) { |
75 | (None, List(atom)) | 75 | (None, List(atom)) |
76 | } else { | 76 | } else { |
77 | val bvar = RSA.getFreshVariable() | 77 | val bvar = RSAOntology.genFreshVariable() |
78 | val str = Literal.create(name, Datatype.XSD_STRING) | 78 | val str = Literal.create(name, Datatype.XSD_STRING) |
79 | val args = atom.getArguments.asScala.toList | 79 | val args = atom.getArguments.asScala.toList |
80 | val skolem = FunctionCall.create("SKOLEM", str :: args: _*) | 80 | val skolem = FunctionCall.create("SKOLEM", str :: args: _*) |