diff options
Diffstat (limited to 'src/main/scala/rsacomb')
-rw-r--r-- | src/main/scala/rsacomb/RSAOntology.scala | 8 |
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 | } |