aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb')
-rw-r--r--src/main/scala/rsacomb/RSAOntology.scala8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index 6d39bae..b81a8f5 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -346,10 +346,12 @@ trait RSAOntology {
346 tripleARB = Seq(classA, roleR, classB).hashCode 346 tripleARB = Seq(classA, roleR, classB).hashCode
347 tripleDSC = Seq(classD, roleS, classC).hashCode 347 tripleDSC = Seq(classD, roleS, classC).hashCode
348 individual = 348 individual =
349 if (tripleARB < tripleDSC) { 349 if (tripleARB > tripleDSC) {
350 RSA.internal("v0_" ++ tripleDSC.hashCode.toString())
351 } else {
352 RSA.internal("v1_" ++ tripleDSC.hashCode.toString()) 350 RSA.internal("v1_" ++ tripleDSC.hashCode.toString())
351 } else {
352 // Note that this is also the case for
353 // `tripleARB == tripleDSC`
354 RSA.internal("v0_" ++ tripleDSC.hashCode.toString())
353 } 355 }
354 } yield individual 356 } yield individual
355 } 357 }