Rework RSA as a utility object

1 files changed, 13 insertions, 0 deletions

diff --git a/src/main/scala/rsacomb/RSAAxiom.scala b/src/main/scala/rsacomb/RSAAxiom.scala
index 3cd9a9d..08de5b7 100644
--- a/src/main/scala/rsacomb/RSAAxiom.scala
+++ b/src/main/scala/rsacomb/RSAAxiom.scala
@@ -38,6 +38,17 @@ trait RSAAxiom {
     case object T5 extends RSAAxiomType // A ⊑ ∃R.B
   }
 
+  object RSAAxiom {
+
+    def hashed(
+        cls1: OWLClass,
+        prop: OWLObjectPropertyExpression,
+        cls2: OWLClass
+    ): String =
+      (cls1, prop, cls2).hashCode.toString
+
+  }
+
   /* Implements additional features on top of `OWLAxiom` from
    * the OWLAPI.
    */
@@ -137,6 +148,8 @@ trait RSAAxiom {
         }
         cls2 <- Some(someValues.getFiller) collect { case a: OWLClass => a }
       } yield (cls1, prop, cls2)
+
+    lazy val hashed: String = (RSAAxiom.hashed _) tupled toTriple.get
   }
 
 } // trait RSAAxiom