From 4df351d3b1d11fc045005323c38ba3528de631ea Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 18 Nov 2020 18:07:53 +0000 Subject: Rework RSA as a utility object --- src/test/scala/rsacomb/OWLClassSpec.scala | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/test/scala/rsacomb/OWLClassSpec.scala') 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.{ } import rsacomb.RDFoxRuleShards +import rsacomb.util.RSA object OWLClassSpec { @@ -49,8 +50,8 @@ object OWLClassSpec { // RDFox Terms val term_x = Variable.create("x") val term_y = Variable.create("y") - val term_c1 = RSA.rsa("c_1") - val term_c2 = RSA.rsa("c_2") + val term_c1 = RSA("c_1") + val term_c2 = RSA("c_2") val term_alice = RDFIRI.create("univ:alice") // RDFox Predicates -- cgit v1.2.3