diff options
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/scala/rsacomb/RSAOntology.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala index 9220434..52e13e6 100644 --- a/src/main/scala/rsacomb/RSAOntology.scala +++ b/src/main/scala/rsacomb/RSAOntology.scala | |||
| @@ -316,6 +316,7 @@ trait RSAOntology { | |||
| 316 | // } | 316 | // } |
| 317 | 317 | ||
| 318 | def cycle(axiom: OWLSubClassOfAxiom): Set[Term] = { | 318 | def cycle(axiom: OWLSubClassOfAxiom): Set[Term] = { |
| 319 | // TODO: we can actually use `toTriple` from `RSAAxiom` | ||
| 319 | val classes = | 320 | val classes = |
| 320 | axiom.classesInSignature.collect(Collectors.toList()).asScala | 321 | axiom.classesInSignature.collect(Collectors.toList()).asScala |
| 321 | val classA = classes(0) | 322 | val classA = classes(0) |