aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/rsacomb/OWLClassSpec.scala
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-18 18:07:53 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-18 18:07:53 +0000
commit4df351d3b1d11fc045005323c38ba3528de631ea (patch)
tree35f809e3def7d55602ed124f7b194db29407ba33 /src/test/scala/rsacomb/OWLClassSpec.scala
parente1a04294ed8737444e40323474f4084cb64c1d55 (diff)
downloadRSAComb-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.scala5
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
36import rsacomb.RDFoxRuleShards 36import rsacomb.RDFoxRuleShards
37import rsacomb.util.RSA
37 38
38object OWLClassSpec { 39object 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