From 4df351d3b1d11fc045005323c38ba3528de631ea Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 18 Nov 2020 18:07:53 +0000
Subject: Rework RSA as a utility object

---
 src/test/scala/rsacomb/CanonicalModelSpec.scala | 59 ++++++++++++++-----------
 1 file changed, 32 insertions(+), 27 deletions(-)

(limited to 'src/test/scala/rsacomb/CanonicalModelSpec.scala')

diff --git a/src/test/scala/rsacomb/CanonicalModelSpec.scala b/src/test/scala/rsacomb/CanonicalModelSpec.scala
index cac40a3..06602e3 100644
--- a/src/test/scala/rsacomb/CanonicalModelSpec.scala
+++ b/src/test/scala/rsacomb/CanonicalModelSpec.scala
@@ -14,61 +14,63 @@ import tech.oxfordsemantic.jrdfox.logic.expression.Variable
 
 import scala.collection.JavaConverters._
 
-import rsacomb.RSA._
-import rsacomb.RDFoxUtil._
+import rsacomb.util.{RDFoxHelpers, RSA}
 
 object Ontology1_CanonicalModelSpec {
 
   /* Renderer to display OWL Axioms with DL syntax*/
   val renderer = new DLSyntaxObjectRenderer()
 
+  def base(str: String): IRI =
+    IRI.create("http://example.com/rsa_example.owl#" + str)
+
   val ontology_path: File = new File("examples/example1.ttl")
   val ontology = RSAOntology(ontology_path)
   val program = ontology.canonicalModel
 
-  val roleR = new OWLObjectPropertyImpl(RSA.base("R"))
-  val roleS = new OWLObjectPropertyImpl(RSA.base("S"))
-  val roleT = new OWLObjectPropertyImpl(RSA.base("T"))
+  val roleR = new OWLObjectPropertyImpl(base("R"))
+  val roleS = new OWLObjectPropertyImpl(base("S"))
+  val roleT = new OWLObjectPropertyImpl(base("T"))
   val roleR_inv = roleR.getInverseProperty()
   val roleS_inv = roleS.getInverseProperty()
   val roleT_inv = roleT.getInverseProperty()
 
   val AsubClassOfD = new OWLSubClassOfAxiomImpl(
-    new OWLClassImpl(RSA.base("A")),
-    new OWLClassImpl(RSA.base("D")),
+    new OWLClassImpl(base("A")),
+    new OWLClassImpl(base("D")),
     Seq().asJava
   )
 
   val DsomeValuesFromRB = new OWLSubClassOfAxiomImpl(
-    new OWLClassImpl(RSA.base("D")),
+    new OWLClassImpl(base("D")),
     new OWLObjectSomeValuesFromImpl(
       roleR,
-      new OWLClassImpl(RSA.base("B"))
+      new OWLClassImpl(base("B"))
     ),
     Seq().asJava
   )
 
   val BsomeValuesFromSD = new OWLSubClassOfAxiomImpl(
-    new OWLClassImpl(RSA.base("B")),
+    new OWLClassImpl(base("B")),
     new OWLObjectSomeValuesFromImpl(
       roleS,
-      new OWLClassImpl(RSA.base("D"))
+      new OWLClassImpl(base("D"))
     ),
     Seq().asJava
   )
 
   val AsomeValuesFromSiC = new OWLSubClassOfAxiomImpl(
-    new OWLClassImpl(RSA.base("A")),
+    new OWLClassImpl(base("A")),
     new OWLObjectSomeValuesFromImpl(
       roleS_inv,
-      new OWLClassImpl(RSA.base("C"))
+      new OWLClassImpl(base("C"))
     ),
     Seq().asJava
   )
 
   val SsubPropertyOfT = new OWLSubObjectPropertyOfAxiomImpl(
-    new OWLObjectPropertyImpl(RSA.base("S")),
-    new OWLObjectPropertyImpl(RSA.base("T")),
+    new OWLObjectPropertyImpl(base("S")),
+    new OWLObjectPropertyImpl(base("T")),
     Seq().asJava
   )
 
@@ -219,51 +221,54 @@ object Ontology2_CanonicalModelSpec {
   /* Renderer to display OWL Axioms with DL syntax*/
   val renderer = new DLSyntaxObjectRenderer()
 
+  def base(str: String): IRI =
+    IRI.create("http://example.com/rsa_example.owl#" + str)
+
   val ontology_path: File = new File("examples/example2.owl")
   val ontology = RSAOntology(ontology_path)
   val program = ontology.canonicalModel
 
-  val roleR = new OWLObjectPropertyImpl(RSA.base("R"))
-  val roleS = new OWLObjectPropertyImpl(RSA.base("S"))
-  val roleT = new OWLObjectPropertyImpl(RSA.base("T"))
-  val roleP = new OWLObjectPropertyImpl(RSA.base("P"))
+  val roleR = new OWLObjectPropertyImpl(base("R"))
+  val roleS = new OWLObjectPropertyImpl(base("S"))
+  val roleT = new OWLObjectPropertyImpl(base("T"))
+  val roleP = new OWLObjectPropertyImpl(base("P"))
   val roleR_inv = roleR.getInverseProperty()
   val roleS_inv = roleS.getInverseProperty()
   val roleT_inv = roleT.getInverseProperty()
   val roleP_inv = roleP.getInverseProperty()
 
   val AsomeValuesFromRB = new OWLSubClassOfAxiomImpl(
-    new OWLClassImpl(RSA.base("A")),
+    new OWLClassImpl(base("A")),
     new OWLObjectSomeValuesFromImpl(
       roleR,
-      new OWLClassImpl(RSA.base("B"))
+      new OWLClassImpl(base("B"))
     ),
     Seq().asJava
   )
 
   val BsomeValuesFromSC = new OWLSubClassOfAxiomImpl(
-    new OWLClassImpl(RSA.base("B")),
+    new OWLClassImpl(base("B")),
     new OWLObjectSomeValuesFromImpl(
       roleS,
-      new OWLClassImpl(RSA.base("C"))
+      new OWLClassImpl(base("C"))
     ),
     Seq().asJava
   )
 
   val CsomeValuesFromTD = new OWLSubClassOfAxiomImpl(
-    new OWLClassImpl(RSA.base("C")),
+    new OWLClassImpl(base("C")),
     new OWLObjectSomeValuesFromImpl(
       roleT,
-      new OWLClassImpl(RSA.base("D"))
+      new OWLClassImpl(base("D"))
     ),
     Seq().asJava
   )
 
   val DsomeValuesFromPA = new OWLSubClassOfAxiomImpl(
-    new OWLClassImpl(RSA.base("D")),
+    new OWLClassImpl(base("D")),
     new OWLObjectSomeValuesFromImpl(
       roleP,
-      new OWLClassImpl(RSA.base("A"))
+      new OWLClassImpl(base("A"))
     ),
     Seq().asJava
   )
-- 
cgit v1.2.3