diff options
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala')
-rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | 2 |
1 files changed, 0 insertions, 2 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 3527da5..c7b3bf0 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala | |||
@@ -459,7 +459,6 @@ class RSAOntology(val original: OWLOntology, val datafiles: File*) { | |||
459 | Logger.DEBUG | 459 | Logger.DEBUG |
460 | ) | 460 | ) |
461 | 461 | ||
462 | // TODO: the following functions needs testing | ||
463 | def confl( | 462 | def confl( |
464 | role: OWLObjectPropertyExpression | 463 | role: OWLObjectPropertyExpression |
465 | ): Set[OWLObjectPropertyExpression] = { | 464 | ): Set[OWLObjectPropertyExpression] = { |
@@ -655,7 +654,6 @@ class RSAOntology(val original: OWLOntology, val datafiles: File*) { | |||
655 | // We just need the TBox to find | 654 | // We just need the TBox to find |
656 | val terms = for { | 655 | val terms = for { |
657 | axiom1 <- tbox | 656 | axiom1 <- tbox |
658 | // TODO: is this an optimization or an error? | ||
659 | if axiom1.isT5 | 657 | if axiom1.isT5 |
660 | // We expect only one role coming out of a T5 axiom | 658 | // We expect only one role coming out of a T5 axiom |
661 | roleS <- axiom1.objectPropertyExpressionsInSignature | 659 | roleS <- axiom1.objectPropertyExpressionsInSignature |