diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 18:07:53 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-18 18:07:53 +0000 |
commit | 4df351d3b1d11fc045005323c38ba3528de631ea (patch) | |
tree | 35f809e3def7d55602ed124f7b194db29407ba33 /src/test/scala/rsacomb/OWLClassSpec.scala | |
parent | e1a04294ed8737444e40323474f4084cb64c1d55 (diff) | |
download | RSAComb-4df351d3b1d11fc045005323c38ba3528de631ea.tar.gz RSAComb-4df351d3b1d11fc045005323c38ba3528de631ea.zip |
Rework RSA as a utility object
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 |