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/OWLAxiomSpec.scala | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/test/scala/rsacomb/OWLAxiomSpec.scala') diff --git a/src/test/scala/rsacomb/OWLAxiomSpec.scala b/src/test/scala/rsacomb/OWLAxiomSpec.scala index 056f428..65333f5 100644 --- a/src/test/scala/rsacomb/OWLAxiomSpec.scala +++ b/src/test/scala/rsacomb/OWLAxiomSpec.scala @@ -36,6 +36,8 @@ import tech.oxfordsemantic.jrdfox.logic.expression.{ import org.semanticweb.owlapi.model.{IRI => OWLIRI} import tech.oxfordsemantic.jrdfox.logic.expression.{IRI => RDFIRI} +import rsacomb.util.RSA + object OWLAxiomSpec { // IRI @@ -53,8 +55,8 @@ object OWLAxiomSpec { val term_x = Variable.create("x") val term_y = Variable.create("y") val term_z = Variable.create("z") - 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 @@ -181,7 +183,7 @@ class OWLAxiomSpec extends AnyFlatSpec with Matchers with LoneElement { // Import required data import OWLAxiomSpec._ // Implicit convertion from IRI in OWLAPI to IRI in JRDFox - import RDFoxUtil._ + import rsacomb.implicits.RDFox._ // OWLSubClassOfAxiom #1 axiom_OWLSubClassOf1.toString should "be converted into a singleton List[Rule]" in { -- cgit v1.2.3