diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-29 14:59:29 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-11-29 14:59:29 +0000 |
| commit | dae3a534b43a73bf813dd7247b7a9abfcf274550 (patch) | |
| tree | 2a33438044b35858ac04903c70b5b004a522d81e | |
| parent | 57444fcc686472e1c5bd7a1dca0606f6b6ca498f (diff) | |
| download | RSAComb-dae3a534b43a73bf813dd7247b7a9abfcf274550.tar.gz RSAComb-dae3a534b43a73bf813dd7247b7a9abfcf274550.zip | |
Fix bug caused by existential axioms with equal sub/super class
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala index eed8825..7671c8f 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |||
| @@ -466,7 +466,8 @@ class RSAOntology( | |||
| 466 | val roleR = axiom | 466 | val roleR = axiom |
| 467 | .objectPropertyExpressionsInSignature(0) | 467 | .objectPropertyExpressionsInSignature(0) |
| 468 | .asInstanceOf[OWLObjectProperty] | 468 | .asInstanceOf[OWLObjectProperty] |
| 469 | val classB = classes(1) | 469 | /* Only one class is returned if A == B */ |
| 470 | val classB = if (classes.length > 1) classes(1) else classes(0) | ||
| 470 | cycle_aux(classA, roleR, classB) | 471 | cycle_aux(classA, roleR, classB) |
| 471 | } | 472 | } |
| 472 | 473 | ||