aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
diff options
context:
space:
mode:
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.scala2
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