diff options
Diffstat (limited to 'src/test/scala/rsacomb/OWLClassSpec.scala')
| -rw-r--r-- | src/test/scala/rsacomb/OWLClassSpec.scala | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/test/scala/rsacomb/OWLClassSpec.scala b/src/test/scala/rsacomb/OWLClassSpec.scala index 505c4aa..27e0872 100644 --- a/src/test/scala/rsacomb/OWLClassSpec.scala +++ b/src/test/scala/rsacomb/OWLClassSpec.scala | |||
| @@ -34,6 +34,7 @@ import tech.oxfordsemantic.jrdfox.logic.expression.{ | |||
| 34 | } | 34 | } |
| 35 | 35 | ||
| 36 | import rsacomb.RDFoxRuleShards | 36 | import rsacomb.RDFoxRuleShards |
| 37 | import rsacomb.util.RSA | ||
| 37 | 38 | ||
| 38 | object OWLClassSpec { | 39 | object OWLClassSpec { |
| 39 | 40 | ||
| @@ -49,8 +50,8 @@ object OWLClassSpec { | |||
| 49 | // RDFox Terms | 50 | // RDFox Terms |
| 50 | val term_x = Variable.create("x") | 51 | val term_x = Variable.create("x") |
| 51 | val term_y = Variable.create("y") | 52 | val term_y = Variable.create("y") |
| 52 | val term_c1 = RSA.rsa("c_1") | 53 | val term_c1 = RSA("c_1") |
| 53 | val term_c2 = RSA.rsa("c_2") | 54 | val term_c2 = RSA("c_2") |
| 54 | val term_alice = RDFIRI.create("univ:alice") | 55 | val term_alice = RDFIRI.create("univ:alice") |
| 55 | 56 | ||
| 56 | // RDFox Predicates | 57 | // RDFox Predicates |
